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.

Authors

Anuj Dawar

This author has not been identified. Look up 'Anuj Dawar' in Google

Lauri Hella

This author has not been identified. Look up 'Lauri Hella' in Google

Phokion G. Kolaitis

This author has not been identified. Look up 'Phokion G. Kolaitis' in Google