Implicit Definability and Infinitary Logic in Finite Model Theory

Anuj Dawar, Lauri Hella, Phokion G. Kolaitis. Implicit Definability and Infinitary Logic in Finite Model Theory. In Zoltán Fülöp, Ferenc Gécseg, editors, Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings. Volume 944 of Lecture Notes in Computer Science, pages 624-635, Springer, 1995.

Abstract

Abstract is missing.