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 ; Amsterdam : 2007 ; Amsterdam University Press ; 72-106
Book Section

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: 1 January 2007
Book Title: Logic and automata: History and Perspectives ; Amsterdam : 2007 ; Amsterdam University Press ; 72-106
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