Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
From MaRDI portal
Publication:3773843
DOI10.1002/malq.19880340410zbMath0635.03006MaRDI QIDQ3773843
Steven Senger, J. Richard Buchi
Publication date: 1988
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19880340410
03B25: Decidability of theories and sets of sentences
Related Items
Simple linear string constraints, On equations in free semigroups with certain constraints on their solutions., Solving word equations modulo partial commutations, Path Feasibility Analysis for String-Manipulating Programs