scientific article
From MaRDI portal
Publication:3877027
zbMath0436.68015MaRDI QIDQ3877027
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
regular algebrasrecursive program schemesfixed-pointsgeneralized polynomialsabstract data typeinfinitely long expressions
Equational logic, Mal'tsev conditions (08B05) Data structures (68P05) Quasivarieties (08C15) Word problems (aspects of algebraic structures) (08A50)
Related Items
Solving polynomial fixed point equations ⋮ The equational logic of fixed points ⋮ Algebras of iteration theories ⋮ Iterative factor algebras and induced metrics ⋮ Extensions of iterative congruences of free iterative algebras ⋮ Implementation of data types by algebraic methods ⋮ Fundamental properties of infinite trees
