scientific article; zbMATH DE number 1971280

zbMath1036.08001MaRDI QIDQ4423192

Thomas Ihringer

Publication date: 26 August 2003

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

zbMATH Keywords

coalgebrafree algebratextbookGalois connectionvarietycongruence latticefunctional programmingcommutatoruniversal algebradiscriminatorclosure systemMal'tsev termabstract data typeterm algebra

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Algebraic structures (08Axx) Varieties (08Bxx)

Related Items

Minimality Notions via Factorization Systems and Examples, Unnamed Item, Categorically algebraic topology versus universal topology, Coalgebraic logic for stochastic right coalgebras, Weak homomorphisms between functorial algebras