Deciding Associativity for Partial Multiplication Tables of Order 3

DOI10.2307/2006168zbMath0391.68024MaRDI QIDQ4172914

Jan van Leeuwen, Dov Tamari, Paul W. Bunting

Publication date: 1978

Published in: Mathematics of Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2006168

zbMATH Keywords

Associativity; Semigroups; Multiplication Tables; Word Problems

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

20M05: Free semigroups, generators and relations, word problems

03D40: Word problems, etc. in computability and recursion theory

05-04: Software, source code, etc. for problems pertaining to combinatorics

Related Items

Deciding embeddability of partial groupoids into semigroups