Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic

This publication has 8 references indexed in Scilit:

• 0-1 laws for infinitary logics
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Some relationships between logics of programs and complexity theory
  Theoretical Computer Science, 1988
• Languages that Capture Complexity Classes
  SIAM Journal on Computing, 1987
• A logical approach to asymptotic combinatorics I. First order properties
  Advances in Mathematics, 1987
• Nonconvergence, undecidability, and intractability in asymptotic problems
  Annals of Pure and Applied Logic, 1987
• On asymptotic probabilities of inductive queries and their decision problem
  Lecture Notes in Computer Science, 1985
• On static logics, dynamic logics, and complexity classes
  Information and Control, 1984
• Probability Distributions Related to Random Mappings
  The Annals of Mathematical Statistics, 1960