Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей

@article{Венцов1992,
author = {Венцов, Ю.Г.},
journal = {Algebra i Logika},
keywords = {constructivizable model; positive models; intrinsically recursively enumerable relation; autostable model; effective choice problems},
language = {rus},
number = {2},
pages = {101-118},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей},
url = {http://eudml.org/doc/187601},
volume = {31},
year = {1992},
}

TY - JOUR
AU - Венцов, Ю.Г.
TI - Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
JO - Algebra i Logika
PY - 1992
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 31
IS - 2
SP - 101
EP - 118
LA - rus
KW - constructivizable model; positive models; intrinsically recursively enumerable relation; autostable model; effective choice problems
UR - http://eudml.org/doc/187601
ER -