Pure and applied fixed-point logics

dc.contributor.author	Kreutzer, Stephan
dc.contributor.editor	Wagner, Dorothea
dc.date.accessioned	2017-09-22T20:41:43Z
dc.date.available	2017-09-22T20:41:43Z
dc.date.issued	2003
dc.identifier.isbn	978-3-88579-407-1
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/4467
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2002
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-3
dc.title	Pure and applied fixed-point logics	de
dc.pubPlace	Bonn
mci.reference.pages	59-68