Logo des Repositoriums
 
Textdokument

Pure and applied fixed-point logics

Vorschaubild

Volltext URI

Dokumententyp

Dateien

GI-Dissertations.03-6.pdf (148.47 KB)

Zusatzinformation

Datum

2003

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Ausgezeichnete Informatikdissertationen 2002

Verlag

Gesellschaft für Informatik

Zusammenfassung

Beschreibung

Kreutzer, Stephan (2003): Pure and applied fixed-point logics. Ausgezeichnete Informatikdissertationen 2002. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-407-1. pp. 59-68

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

D03 (2002) - Ausgezeichnete Informatikdissertationen