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 |
Options (only for editors)
![]() |
Show editorial Details |