Stephan Kreutzer. Pure and applied fixed-point logics. In Dorothea Wagner, editor, Ausgezeichnete Informatikdissertationen 2002. Volume D-3 of LNI, pages 59-68, GI, 2002. [doi]
@inproceedings{Kreutzer02-0,
title = {Pure and applied fixed-point logics},
author = {Stephan Kreutzer},
year = {2002},
url = {http://subs.emis.de/LNI/Dissertation/Dissertation3/article135.html},
researchr = {https://researchr.org/publication/Kreutzer02-0},
cites = {0},
citedby = {0},
pages = {59-68},
booktitle = {Ausgezeichnete Informatikdissertationen 2002},
editor = {Dorothea Wagner},
volume = {D-3},
series = {LNI},
publisher = {GI},
isbn = {3-88579-407-1},
}