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

Tirza Hirst, David Harel

Browse the full LICS paper archive.