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]