Recompression: Word Equations and Beyond

DOI10.1007/978-3-642-38771-5_2zbMath1381.68119OpenAlexW1839989984MaRDI QIDQ5300826

Artur Jeż

Publication date: 28 June 2013

Published in: Developments in Language Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38771-5_2

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Related Items (2)

Z3str2: an efficient solver for strings, regular expressions, and length constraints ⋮ SLP compression for solutions of equations with constraints in free and hyperbolic groups

This page was built for publication: Recompression: Word Equations and Beyond