Finding fixed points in finite lattices

Chris Martin, Chris Hankin. Finding fixed points in finite lattices. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings. Volume 274 of Lecture Notes in Computer Science, pages 426-445, Springer, 1987.

Abstract

Abstract is missing.