scientific article
From MaRDI portal
Publication:3912630
zbMath0463.06005MaRDI QIDQ3912630
Jean Claude Raoult, Bruno Courcelle
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Partial orders, general (06A06) Complete lattices, completions (06B23) Structure theory of algebraic structures (08A05)
Related Items (9)
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 ⋮ A direct characterization of completion ⋮ Unnamed Item ⋮ Infinite trees in normal form and recursive equations having a unique solution ⋮ Fundamental properties of infinite trees ⋮ Order completion monads
This page was built for publication:
