Christoph Sprenger, Mads Dam. A note on global induction in a mu-calculus with explicit approximations. In Zoltán Ésik, Anna Ingólfsdóttir, editors, Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings. Volume NS-02-2 of BRICS Notes Series, pages 22-24, University of Aarhus, 2002.
@inproceedings{SprengerD02,
title = {A note on global induction in a mu-calculus with explicit approximations},
author = {Christoph Sprenger and Mads Dam},
year = {2002},
researchr = {https://researchr.org/publication/SprengerD02},
cites = {0},
citedby = {0},
pages = {22-24},
booktitle = {Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings},
editor = {Zoltán Ésik and Anna Ingólfsdóttir},
volume = {NS-02-2},
series = {BRICS Notes Series},
publisher = {University of Aarhus},
}