Semigroup identities and proofs
From MaRDI portal
Publication:2249404
DOI10.1007/s00012-014-0280-5zbMath1393.20026OpenAlexW1982937383MaRDI QIDQ2249404
Publication date: 1 July 2014
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-014-0280-5
Combinatorics on words (68R15) Free semigroups, generators and relations, word problems (20M05) Equational logic, Mal'tsev conditions (08B05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40)
Related Items
Uses Software
Cites Work