TU Darmstadt / ULB / TUbiblio

Logical theories and compatible operations

Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof :
Logical theories and compatible operations.
In: Logic and automata: History and Perspectives ; Amsterdam : 2007 ; Amsterdam University Press ; 72-106.
[Buchkapitel], (2007)

Typ des Eintrags: Buchkapitel
Erschienen: 2007
Autor(en): Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof
Titel: Logical theories and compatible operations
Sprache: Englisch
Buchtitel: Logic and automata: History and Perspectives ; Amsterdam : 2007 ; Amsterdam University Press ; 72-106
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:27
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen