More About Recursive Structures: Descriptive Complexity and Zero-One Laws

Tirza Hirst, David Harel. More About Recursive Structures: Descriptive Complexity and Zero-One Laws. In LICS. pages 334-347, 1996.

Abstract

Abstract is missing.