Unification in primal algebras, their powers and their varieties

DOI10.1145/96559.96569zbMath0711.68092DBLPjournals/jacm/Nipkow90OpenAlexW2054754886WikidataQ60305006 ScholiaQ60305006MaRDI QIDQ3495674

Tobias Nipkow

Publication date: 1990

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/96559.96569

zbMATH Keywords

Boolean algebra Boolean rings matrix rings many-valued logics equational theories unification problem Post algebras primal algebras non-numerical algorithms

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (9)

Computers and universal algebra: Some directions ⋮ Introduction to ``Milestones in interactive theorem proving ⋮ Unification, finite duality and projectivity in varieties of Heyting algebras ⋮ Unification in commutative semigroups ⋮ Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions ⋮ The unification type of the Pythagorean equation in varieties of nilpotent rings ⋮ Discriminator varieties and symbolic computation ⋮ An assertion concerning functionally complete algebras and NP-completeness ⋮ Category equivalence preserves unification type

This page was built for publication: Unification in primal algebras, their powers and their varieties