scientific article; zbMATH DE number 1114346
From MaRDI portal
Publication:4376064
zbMath0899.20030MaRDI QIDQ4376064
Publication date: 22 September 1998
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)
Related Items (8)
Finding all solutions of equations in free groups and monoids with involution ⋮ Solving trace equations using lexicographical normal forms ⋮ Solving word equations modulo partial commutations ⋮ Word equations in non-deterministic linear space ⋮ Parabolic and quasiparabolic subgroups of free partially commutative groups. ⋮ On systems of equations over free partially commutative groups ⋮ The existential theory of equations with rational constraints in free groups is PSPACE-complete ⋮ The star problem and the finite power property in trace monoids: Reductions beyond C4
This page was built for publication:
