On the structure of solution-sets to regular word equations
type: Item
instance of: scholarly article
title: On the structure of solution-sets to regular word equations
author: Joel D. Day
author: Florin Manea
published in: Theory of Computing Systems
publication date: 2024-10-07T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 68Rxx
Mathematics Subject Classification ID: 03Bxx
zbMATH DE Number: 7922389
zbMATH Keywords: quadratic word equations
zbMATH Keywords: regular word equations
zbMATH Keywords: string solving
zbMATH Keywords: NP
MaRDI profile type: Publication
cites work: Finding patterns common to a set of strings
cites work: The dag-width of directed graphs
cites work: The satisfiability of word equations: decidable and undecidable theories
cites work: The hardness of solving simple word equations
cites work: Q5092406
cites work: Finding all solutions of equations in free groups and monoids with involution
cites work: Q4251053
cites work: Finding a homomorphism between two words is NP-complete
cites work: A logic for document spanners
cites work: Document spanners: from expressive power to decision problems
cites work: Recompression
cites work: Q5111427
cites work: The expressibility of languages and relations by word equations
cites work: String solving with word equations and transducers: towards a logic for analysing mutation XSS
cites work: Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
cites work: Q4529547
cites work: THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
cites work: On the Complexity of Solving Restricted Word Equations
cites work: Mathematical Foundations of Computer Science 2004
cites work: Satisfiability of word equations with constants is in NEXPTIME
cites work: Q4219050
cites work: Makanin's algorithm for word equations-two improvements and a generalization
DOI: 10.1007/S00224-021-10058-5
description: scientific article; zbMATH DE number 7922389