Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
Document Type
Article
DOI
https://doi.org/10.1002/malq.19880340410
Publication Date
1-1-1988
Recommended Citation
Büchi, J. Richard, and Steven Senger. "Definability in the existential theory of concatenation and undecidable extensions of this theory." In The Collected Works of J. Richard Büchi, pp. 671-683. Springer, New York, NY, 1990.
Journal Title
Mathematical Logic Quarterly
COinS
