On the decision problem for two-variable first-order logic
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.
Champaign, Ill : Association for Symbolic Logic (1997)
Journal Article
In: Bulletin of symbolic logic
Volume: 3
Issue: 1
Page(s)/Article-Nr.: 53-69
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.2307/421196
- RWTH PUBLICATIONS: RWTH-CONV-081459