Unary Quantifiers, Transitive Closure, and Relations of Large Degree

Leonid Libkin, Limsoon Wong. Unary Quantifiers, Transitive Closure, and Relations of Large Degree. In Michel Morvan, Christoph Meinel, Daniel Krob, editors, STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings. Volume 1373 of Lecture Notes in Computer Science, pages 183-193, Springer, 1998.

Authors

Leonid Libkin

This author has not been identified. Look up 'Leonid Libkin' in Google

Limsoon Wong

This author has not been identified. Look up 'Limsoon Wong' in Google