The expressibility of languages and relations by word equations
From MaRDI portal
Publication:4406307
DOI10.1145/337244.337255zbMath1094.68618WikidataQ60162918 ScholiaQ60162918MaRDI QIDQ4406307
Juhani Karhumäki, Filippo Mignosi, Wojciech Plandowski
Publication date: 25 June 2003
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/337244.337255
Related Items
Graph Logics with Rational Relations, Z3str2: an efficient solver for strings, regular expressions, and length constraints, Bad news on decision problems for patterns, Multiple factorizations of words and defect effect, Document spanners: from expressive power to decision problems, The existential theory of equations with rational constraints in free groups is PSPACE-complete, Equations in the Partial Semigroup of Words with Overlapping Products, ON NON-PERIODIC SOLUTIONS OF INDEPENDENT SYSTEMS OF WORD EQUATIONS OVER THREE UNKNOWNS, Bad News on Decision Problems for Patterns