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