scientific article; zbMATH DE number 1114333
From MaRDI portal
Publication:4376048
zbMath0894.20044MaRDI QIDQ4376048
Publication date: 29 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Free semigroups, generators and relations, word problems (20M05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items (3)
Unnamed Item ⋮ What Is Essential Unification? ⋮ \(\forall \exists^{5}\)-equational theory of context unification is undecidable
This page was built for publication: