@inproceedings{DBLP:conf/fics/JensenPR02,
author = {Thomas P. Jensen and
Florimond Ployette and
Olivier Ridoux},
title = {Iteration schemes for fixed point calculation},
booktitle = {FICS},
year = {2002},
pages = {69-76},
crossref = {DBLP:conf/fics/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fics/2002,
editor = {Zolt{\'a}n {\'E}sik and
Anna Ing{\'o}lfsd{\'o}ttir},
title = {Fixed Points in Computer Science, FICS 2002, Copenhagen,
Denmark, 20-21 July 2002, Preliminary Proceedings},
booktitle = {FICS},
publisher = {University of Aarhus},
series = {BRICS Notes Series},
volume = {NS-02-2},
year = {2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-12-20 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page