On the decision problem for two-variable first-order logic

Champaign, Ill / Association for Symbolic Logic (1997) [Fachzeitschriftenartikel]

Bulletin of symbolic logic
Band: 3
Ausgabe: 1
Seite(n): 53-69

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
Kolaitis, Phokion G.
Vardi, Moshe Y.

Identifikationsnummern