Geodesic
Natural limitations of decisions procedures for arithmetic with bounded quantifiers.
Archiv für mathematische Logik und Grundlagenforschung, Tome 23 (1983), pp. 37-54

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

Zbl
Mots-clés : practical decidability, unfeasible computation, complexity of decision procedures, bounded arithmetic, concrete lower bounds for the complexity of theories, Turing machine 
Daniele Mundici. Natural limitations of decisions procedures for arithmetic with bounded quantifiers.. Archiv für mathematische Logik und Grundlagenforschung, Tome 23 (1983), pp. 37-54. http://geodesic.mathdoc.fr/item/AMLG_1983__23_138005/
@article{AMLG_1983__23_138005,
     author = {Daniele Mundici},
     title = {Natural limitations of decisions procedures for arithmetic with bounded quantifiers.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {37--54},
     year = {1983},
     volume = {23},
     zbl = {0523.03028},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1983__23_138005/}
}
TY  - JOUR
AU  - Daniele Mundici
TI  - Natural limitations of decisions procedures for arithmetic with bounded quantifiers.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1983
SP  - 37
EP  - 54
VL  - 23
UR  - http://geodesic.mathdoc.fr/item/AMLG_1983__23_138005/
ID  - AMLG_1983__23_138005
ER  - 
%0 Journal Article
%A Daniele Mundici
%T Natural limitations of decisions procedures for arithmetic with bounded quantifiers.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1983
%P 37-54
%V 23
%U http://geodesic.mathdoc.fr/item/AMLG_1983__23_138005/
%F AMLG_1983__23_138005