TU Darmstadt / ULB / TUbiblio

Logical theories and compatible operations

Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof (2007)
Logical theories and compatible operations.
In: Logic and automata: History and Perspectives
Book Section, Bibliographie

Item Type: Book Section
Erschienen: 2007
Creators: Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof
Type of entry: Bibliographie
Title: Logical theories and compatible operations
Language: English
Date: 2007
Place of Publication: Amsterdam
Publisher: University Press
Book Title: Logic and automata: History and Perspectives
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:27
Last Modified: 05 Mar 2013 09:13
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details