Logo des Repositoriums
 

Pure and applied fixed-point logics

dc.contributor.authorKreutzer, Stephan
dc.contributor.editorWagner, Dorothea
dc.date.accessioned2017-09-22T20:41:43Z
dc.date.available2017-09-22T20:41:43Z
dc.date.issued2003
dc.identifier.isbn978-3-88579-407-1
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/4467
dc.language.isode
dc.publisherGesellschaft für Informatik
dc.relation.ispartofAusgezeichnete Informatikdissertationen 2002
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Dissertations, Volume D-3
dc.titlePure and applied fixed-point logicsde
gi.citation.endPage68
gi.citation.publisherPlaceBonn
gi.citation.startPage59

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Dissertations.03-6.pdf
Größe:
148.47 KB
Format:
Adobe Portable Document Format