Arrow Research search
Back to STOC

STOC 1981

On the Faithful Regular Extensions of Iterative Algebras

Conference Paper Accepted Paper Algorithms and Complexity ยท Theoretical Computer Science

Abstract

In ([6]), Tiuryn proved the existence of extensions of algebras with the unique fixed point property (iterative algebras) to ordered algebras with the least fixed point property (regular algebras), extensions preserving the fixed point solutions.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
ACM Symposium on Theory of Computing
Archive span
1969-2025
Indexed papers
4364
Paper id
813294117449684961
v2026.09.13