scientific article; zbMATH DE number 1490005
From MaRDI portal
Publication:4496248
Recommendations
- Alphabetical satisfiability problem for trace equations
- Equations over finite sets of words and equivalence problems in automata theory
- On the Solvability Problem for Restricted Classes of Word Equations
- Equations in words: An algorithmic contribution
- On the complexity of solving restricted word equations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4496248)