Geodesic
The classical decision problem and partial functions.
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 3-12.

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

Mots-clés : decision problem for sets of sentences of first-order logic, partial functions, standard classes, prenex sentences 
@article{AMLG_1980__20_137956,
     author = {Motti Abramsky},
     title = {The classical decision problem and partial functions.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {3--12},
     publisher = {mathdoc},
     volume = {20},
     year = {1980},
     zbl = {0431.03007},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1980__20_137956/}
}
TY  - JOUR
AU  - Motti Abramsky
TI  - The classical decision problem and partial functions.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1980
SP  - 3
EP  - 12
VL  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1980__20_137956/
ID  - AMLG_1980__20_137956
ER  - 
%0 Journal Article
%A Motti Abramsky
%T The classical decision problem and partial functions.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1980
%P 3-12
%V 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1980__20_137956/
%F AMLG_1980__20_137956
Motti Abramsky. The classical decision problem and partial functions.. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 3-12. http://geodesic.mathdoc.fr/item/AMLG_1980__20_137956/