Geodesic
Coding in the existential theory of concatenation.
Archiv für mathematische Logik und Grundlagenforschung, Tome 26 (1987), pp. 101-108.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : existential theory, existentially definable relation over concatenation, diophantine 
@article{AMLG_1987__26_138054,
     author = {J. R. B\"uchi and St. Senger},
     title = {Coding in the existential theory of concatenation.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {101--108},
     publisher = {mathdoc},
     volume = {26},
     year = {1987},
     zbl = {0646.03040},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1987__26_138054/}
}
TY  - JOUR
AU  - J. R. Büchi
AU  - St. Senger
TI  - Coding in the existential theory of concatenation.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1987
SP  - 101
EP  - 108
VL  - 26
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1987__26_138054/
ID  - AMLG_1987__26_138054
ER  - 
%0 Journal Article
%A J. R. Büchi
%A St. Senger
%T Coding in the existential theory of concatenation.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1987
%P 101-108
%V 26
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1987__26_138054/
%F AMLG_1987__26_138054
J. R. Büchi; St. Senger. Coding in the existential theory of concatenation.. Archiv für mathematische Logik und Grundlagenforschung, Tome 26 (1987), pp. 101-108. http://geodesic.mathdoc.fr/item/AMLG_1987__26_138054/