Publication:3877027
From MaRDI portal
zbMath0436.68015MaRDI QIDQ3877027
Publication date: 1979
regular algebras; recursive program schemes; fixed-points; generalized polynomials; abstract data type; infinitely long expressions
08B05: Equational logic, Mal'tsev conditions
68P05: Data structures
08C15: Quasivarieties
08A50: Word problems (aspects of algebraic structures)
Related Items
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, The equational logic of fixed points