Publication:3912630
From MaRDI portal
zbMath0463.06005MaRDI QIDQ3912630
Bruno Courcelle, Jean Claude Raoult
Publication date: 1980
06A06: Partial orders, general
06B23: Complete lattices, completions
08A05: Structure theory of algebraic structures
Related Items
A direct characterization of completion, Fundamental properties of infinite trees, Order completion monads, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Algebraic solutions to recursion schemes, On the algebra of order, Varieties of chain-complete algebras, Unnamed Item, Infinite trees in normal form and recursive equations having a unique solution