Bounded Fixed-Point Iteration
H. Riis Nielson, F. Nielson
Type
Journal paper [With referee]
Journal
Journal of Logic and Computation
Year
1992
Vol.
2
No.
4
pp.
441-464
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering