scientific article; zbMATH DE number 1304322
From MaRDI portal
Publication:4251053
Recommendations
Cited in
(16)- Word equations in the context of string solving
- Unification modulo lists with reverse relation with certain word equations
- On the Solvability Problem for Restricted Classes of Word Equations
- Chain-free string constraints
- On the complexity of solving restricted word equations
- scientific article; zbMATH DE number 1408356 (Why is no real title available?)
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- scientific article; zbMATH DE number 7561688 (Why is no real title available?)
- The hardness of solving simple word equations
- scientific article; zbMATH DE number 4188561 (Why is no real title available?)
- Recognizing string graphs in NP
- Tracing compressed curves in triangulated surfaces
- A decision procedure for string logic with quadratic equations, regular expressions and length constraints
- On the structure of solution-sets to regular word equations
- Hardness results for constant-free pattern languages and word equations
- On the structure of solution sets to regular 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 Q4251053)