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