0-1 Laws for Fragments of Existential Second-Order Logic: A Survey

Phokion G. Kolaitis, Moshe Y. Vardi. 0-1 Laws for Fragments of Existential Second-Order Logic: A Survey. In Mogens Nielsen, Branislav Rovan, editors, Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Volume 1893 of Lecture Notes in Computer Science, pages 84-98, Springer, 2000. [doi]

Abstract

Abstract is missing.