Bounded variable logics and counting -
Aachen (1995) [Habilitationsschrift]
Seite(n): 190 S.
Autorinnen und Autoren
Ausgewählte Autorinnen und Autoren
Otto, Martin
Identifikationsnummern
- REPORT NUMBER: RWTH-CONV-111995
Fakultäten und Einrichtungen
Sie sind hier: Bounded variable logics and counting -
RWTH
Fakultäten und Institute
- Mathematik, Informatik, NaturwissenschaftenFakultät 1
- ArchitekturFakultät 2
- BauingenieurwesenFakultät 3
- MaschinenwesenFakultät 4
- Georessourcen und MaterialtechnikFakultät 5
- Elektrotechnik und InformationstechnikFakultät 6
- Philosophische FakultätFakultät 7
- WirtschaftswissenschaftenFakultät 8
- MedizinFakultät 10
Institut suchen:
Navigation
Sie sind hier:
- Fachgruppe 1.1
- Forschung
- Publikationen
- Bibliographie
- Bounded variable logics and counting -