scientific article

zbMath1231.20031MaRDI QIDQ3629661

Yves Lafont

Publication date: 2 June 2009

Full work available at URL: http://smf4.emath.fr/en/Publications/Gazette/2009/120/smf_gazette_120_27-38.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

short proofundecidability of word problem in groups

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items (1)

MIX is a 2-MCFL and the word problem in \(\mathbb{Z}^2\) is captured by the IO and the OI hierarchies

This page was built for publication: