Satisfiability of word equations with constants is in exponential space
Satisfiability of word equations with constants is in exponential space
C. Gutiérrez
1998 · DOI: 10.1109/SFCS.1998.743434
38 Citations
Satisfiability of word equations with constants is in exponential space
C. Gutiérrez