TU Darmstadt / ULB / TUbiblio

Logical theories and compatible operations

Blumensath, Achim and Colcombet, Thomas and 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 and Colcombet, Thomas and Löding, Christof
Title: Logical theories and compatible operations
Language: English
Title of Book: 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
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item