Pure and applied fixed-point logics

Kreutzer, Stephan

Autor(en):

Vollständige Referenz
BibTeX

Kreutzer, S., (2003). Pure and applied fixed-point logics. In: Wagner, D. (Hrsg.), Ausgezeichnete Informatikdissertationen 2002. Bonn: Gesellschaft für Informatik. (S. 59-68).

@inproceedings{mci/Kreutzer2003,
author = {Kreutzer, Stephan},
title = {Pure and applied fixed-point logics},
booktitle = {Ausgezeichnete Informatikdissertationen 2002},
year = {2003},
editor = {Wagner, Dorothea} ,
pages = { 59-68 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}