Схемы программ и эффективные функционалы конечных типов

В.Д. Соловьев

Verojatnostnye metody i kibernetika (1983)

  • Volume: 19, page 129-133
  • ISSN: 0132-2869

How 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 ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.