scientific article; zbMATH DE number 1346493
From MaRDI portal
Publication:4266516
zbMath0925.03069MaRDI QIDQ4266516
Publication date: 4 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Free semigroups, generators and relations, word problems (20M05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Word problems, etc. in computability and recursion theory (03D40)
This page was built for publication: