The theory of function structure models.
Sibirskij Matematicheskij Zhurnal (2006)
- Volume: 47, Issue: 6, page 1342-1354
- ISSN: 0037-4474
Access Full Article
top
How to cite
topNovosel'tsev, V.B.. "The theory of function structure models.." Sibirskij Matematicheskij Zhurnal 47.6 (2006): 1342-1354. <http://eudml.org/doc/54784>.
@article{Novoseltsev2006,
author = {Novosel'tsev, V.B.},
journal = {Sibirskij Matematicheskij Zhurnal},
keywords = {formal theory; recursion; theorem proving; nonprocedural description},
language = {eng},
number = {6},
pages = {1342-1354},
publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki},
title = {The theory of function structure models.},
url = {http://eudml.org/doc/54784},
volume = {47},
year = {2006},
}
TY - JOUR
AU - Novosel'tsev, V.B.
TI - The theory of function structure models.
JO - Sibirskij Matematicheskij Zhurnal
PY - 2006
PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki
VL - 47
IS - 6
SP - 1342
EP - 1354
LA - eng
KW - formal theory; recursion; theorem proving; nonprocedural description
UR - http://eudml.org/doc/54784
ER -
NotesEmbed ?
topYou 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.