Схемы программ и эффективные функционалы конечных типов
Verojatnostnye metody i kibernetika (1983)
- Volume: 19, page 129-133
- ISSN: 0132-2869
Access Full Article
topHow to cite
topСоловьев, В.Д.. "Схемы программ и эффективные функционалы конечных типов." Verojatnostnye metody i kibernetika 19 (1983): 129-133. <http://eudml.org/doc/69238>.
@article{Соловьев1983,
author = {Соловьев, В.Д.},
journal = {Verojatnostnye metody i kibernetika},
keywords = {Turing machines; Kleene computability; program scheme; effective functionals},
language = {rus},
pages = {129-133},
publisher = {Izd. Kazanskogo universiteta},
title = {Схемы программ и эффективные функционалы конечных типов},
url = {http://eudml.org/doc/69238},
volume = {19},
year = {1983},
}
TY - JOUR
AU - Соловьев, В.Д.
TI - Схемы программ и эффективные функционалы конечных типов
JO - Verojatnostnye metody i kibernetika
PY - 1983
PB - Izd. Kazanskogo universiteta
VL - 19
SP - 129
EP - 133
LA - rus
KW - Turing machines; Kleene computability; program scheme; effective functionals
UR - http://eudml.org/doc/69238
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.