scientific article; zbMATH DE number 1346492
From MaRDI portal
Publication:4266515
zbMath0925.03082MaRDI QIDQ4266515
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)
Related Items (2)
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ Unification problem in equational theories
This page was built for publication:
