Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 104-114
Citer cet article
Yu. V. Matiyasevich. On real-time recognition of the relation of occurrence. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IV, Tome 20 (1971), pp. 104-114. http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a10/
@article{ZNSL_1971_20_a10,
author = {Yu. V. Matiyasevich},
title = {On real-time recognition of the relation of occurrence},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {104--114},
year = {1971},
volume = {20},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a10/}
}
TY - JOUR
AU - Yu. V. Matiyasevich
TI - On real-time recognition of the relation of occurrence
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1971
SP - 104
EP - 114
VL - 20
UR - http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a10/
LA - ru
ID - ZNSL_1971_20_a10
ER -
%0 Journal Article
%A Yu. V. Matiyasevich
%T On real-time recognition of the relation of occurrence
%J Zapiski Nauchnykh Seminarov POMI
%D 1971
%P 104-114
%V 20
%U http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a10/
%G ru
%F ZNSL_1971_20_a10
