Skip to main content

Pure and Applied Fixed−Point Logics

Stephan Kreutzer

Book Title
Ausgezeichnete Informatik Dissertationen 2003
Editor
D. Wagner et al.
Note
in german
Publisher
German Informatics Society (GI)
Series
Lecture Notes in Informatics − Dissertations
Volume
D−3
Year
2003