Word equations in nondeterministic linear space
From MaRDI portal
(Redirected from Publication:5111427)
Recommendations
Cited in
(26)- Equations in words: An algorithmic contribution
- On equations and first-order theory of one-relator monoids
- Monadic decomposition in integer linear arithmetic
- The complexity of solution sets to equations in hyperbolic groups
- String theories involving regular membership predicates: from practice to theory and back
- Word equations in non-deterministic linear space
- On PSPACE generation of a solution set of a word equation and its applications
- The non-parametrizability of the word equation \(xyz=zvx\): a short proof
- Towards more efficient methods for solving regular-expression heavy string constraints
- One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations
- Satisfiability of word equations with constants is in NEXPTIME
- Recompression: a simple and powerful technique for word equations
- Solutions to twisted word equations and equations in virtually free groups
- An optimal bound on the solution sets of one-variable word equations and its consequences
- The Diophantine problem in the classical matrix groups
- Solutions sets to systems of equations in hyperbolic groups are EDT0L in PSPACE
- scientific article; zbMATH DE number 7561615 (Why is no real title available?)
- scientific article; zbMATH DE number 7561688 (Why is no real title available?)
- Recompression: word equations and beyond
- Makanin's algorithm for word equations-two improvements and a generalization
- 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
- Certainty in formalising SMT-LIB for strings in Isabelle
- FC-Datalog as a framework for efficient string querying
- Recompression: technique for word equations and compressed data
This page was built for publication: Word equations in nondeterministic linear space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111427)
