Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Ausgezeichnete Informatikdissertationen 2002 D-3, 59-68 (2002).

GI, Gesellschaft für Informatik, Bonn
2002


Editors

Dorothea Wagner (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Pure and applied fixed-point logics

Stephan Kreutzer


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-407-1


Last changed 12.06.2012 13:41:42