A note on decision procedures for identities

DOI10.1007/BF02488026zbMath0435.08003MaRDI QIDQ1140107

A. K. Austin

Publication date: 1979

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

identitydecision procedurefinite operatorcomplete operator

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Word problems, etc. in computability and recursion theory (03D40) Word problems (aspects of algebraic structures) (08A50)

Cites Work

• Products of Points--Some Simple Algebras and their Identities
• Finite Models of Identities

This page was built for publication: A note on decision procedures for identities