On logics with two variables

Amsterdam [u.a.] / Elsevier (1999) [Fachzeitschriftenartikel]

Theoretical computer science
Band: 224
Seite(n): 73-113

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
Otto, Martin

Identifikationsnummern