Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic

Jerzy Tyszkiewicz. Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter, editors, Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, Proceedings. Volume 626 of Lecture Notes in Computer Science, pages 396-410, Springer, 1991.

Abstract

Abstract is missing.