MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "0-1 laws for recursive structures." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

0-1 laws for recursive structures
by Erich Grädel, Anders Malmström — 1997 — Archive of Mathematical Logic
…0-1 Laws for Recursive Structures Erich Gradel Anders Malmstrom Mathematische Grundlagen der…
Cited by 4 (3 self) – Add To MetaCart

More about Recursive Structures: Descriptive Complexity and Zero-One Laws
by Tirza Hirst, David Harel — 1996 — in Proc. 11th IEEE Symp. on Logic in Computer Science
… complexity. We then address 0--1 laws, proposing a version that applies to recursive structures, and using…
Cited by 3 (0 self) – Add To MetaCart

Resource Bounded Measure Bibliography
by John Hitchcock, S. A. Terwijn, L. Torenvliet, Arithmetical Mathematical, Logic Quarterly — 2003
…. Gradel and A. Malmstrom. 0-1 laws for recursive structures. Archive for Mathematical Logic, 38…
Add To MetaCart

Resource-Bounded Measure Bibliography
by John M. Hitchcock, A. V. Naik, On Theoretical, K. W. Regan, K. W. Regan, D. Sivakumar, D. Sivakumar, Improved Borel-cantelli — 2003
…, pages 393--404, 1995. [31] E. Gradel and A. Malmstrom. 0-1 laws for recursive structures. Archive…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB