The word problem for free partially commutative, partially associative groupoids

DOI10.1006/JSCO.1993.1063zbMath0803.20049OpenAlexW1992109383MaRDI QIDQ1329183

Sekhar V. Muddana, David P. Jacobs

Publication date: 5 January 1995

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

Full work available at URL: https://doi.org/10.1006/jsco.1993.1063

zbMATH Keywords

generatorsword problemfree groupoidsfree partially commutative, partially associative groupoidsleft nucleussymmetric binary relations

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40) Sets with a single binary operation (groupoids) (20N02) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05)

This page was built for publication: The word problem for free partially commutative, partially associative groupoids