scientific article

From MaRDI portal

Revision as of 18:46, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3877027

Jump to:navigation, search

zbMath0436.68015MaRDI QIDQ3877027

Jerzy Tiuryn

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

regular algebras recursive program schemes fixed-points generalized polynomials abstract data type infinitely long expressions

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Data structures (68P05) Quasivarieties (08C15) Word problems (aspects of algebraic structures) (08A50)

Related Items (7)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3877027&oldid=17504646"