Coding in the existential theory of concatenation
Document Type
Article
DOI
https://doi.org/10.1007/BF02017493
Publication Date
12-1-1987
Recommended Citation
Büchi, J. Richard, and Steven Senger. "Coding in the existential theory of concatenation." In The Collected Works of J. Richard Büchi, pp. 665-670. Springer, New York, NY, 1990.
Journal Title
Archiv für Mathematische Logik und Grundlagenforschung
COinS
