scientific article; zbMATH DE number 6131562
From MaRDI portal
Publication:4904107
zbMath1261.68088MaRDI QIDQ4904107
Publication date: 28 January 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
universal algebraBirkhoff's variety theoremmany-sorted equational logicmany-sorted universal algebra
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05)
Related Items (5)
Algebras from finite group actions and a question of Eilenberg and Schützenberger ⋮ The institution-theoretic scope of logic theorems ⋮ Formalization of universal algebra in Agda ⋮ The Foundational Legacy of ASL ⋮ Completeness results for omega-regular algebras
This page was built for publication: