Bounded variable logics and counting -
Otto, Martin
Aachen (1995)
Habilitationsschrift
Aachen, Techn. Hochsch., Habil.-Schr., 1995
Einrichtungen
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
- Fachgruppe Mathematik [110000]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-111995