scientific article; zbMATH DE number 7561688
From MaRDI portal
Publication:5092406
Recommendations
- Mathematical Foundations of Computer Science 2003
- scientific article; zbMATH DE number 3109550
- An optimal bound on the solution sets of one-variable word equations and its consequences
- An optimal bound on the solution sets of one-variable word equations and its consequences
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- Upper bounds for the number of solutions to quartic Thue equations
- Solutions of systems consisting of word equations and inequalities in lengths of words
- scientific article; zbMATH DE number 3119391
- The minima of indefinite binary quadratic forms
Cites work
- A logic for document spanners
- Automata, Languages and Programming
- Automata-based model counting for string constraints
- Context unification is in PSPACE
- Document Spanners: From Expressive Power to Decision Problems.
- Equations in Free Groups
- Finding a homomorphism between two words is NP-complete
- scientific article; zbMATH DE number 6678923 (Why is no real title available?)
- scientific article; zbMATH DE number 3811868 (Why is no real title available?)
- scientific article; zbMATH DE number 3574107 (Why is no real title available?)
- scientific article; zbMATH DE number 1223734 (Why is no real title available?)
- scientific article; zbMATH DE number 1304322 (Why is no real title available?)
- Minimal and complete word unification
- Progressive reasoning over recursively-defined strings
- Satisfiability of word equations with constants is in NEXPTIME
- Solutions of word equations over partially commutative structures
- The expressibility of languages and relations by word equations
- The hardness of solving simple word equations
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- Word equations in nondeterministic linear space
- Word unification and transformation of generalized equations
Cited in
(8)- Word equations in the context of string solving
- scientific article; zbMATH DE number 1304322 (Why is no real title available?)
- scientific article; zbMATH DE number 1408356 (Why is no real title available?)
- Mathematical Foundations of Computer Science 2003
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
- On the structure of solution-sets to regular word equations
- On the structure of solution sets to regular word equations
- Word equations in synergy with regular constraints (extended version)
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 Q5092406)
