Geodesic
On functional system of logical function sheaves
Fundamentalʹnaâ i prikladnaâ matematika, Tome 5 (1999) no. 1, pp. 149-192

Voir la notice de l'article provenant de la source Math-Net.Ru

We study the functional systems of logical function sheaves with the operations on them induced by the operations on functions and automata. The algorithmic solvability of completeness and expressability problems for functional systems of function sheaves is investigated. 
@article{FPM_1999_5_1_a10,
     author = {V. V. Kudryavtsev},
     title = {On functional system of logical function sheaves},
     journal = {Fundamentalʹna\^a i prikladna\^a matematika},
     pages = {149--192},
     publisher = {mathdoc},
     volume = {5},
     number = {1},
     year = {1999},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/FPM_1999_5_1_a10/}
}
TY  - JOUR
AU  - V. V. Kudryavtsev
TI  - On functional system of logical function sheaves
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 1999
SP  - 149
EP  - 192
VL  - 5
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_1999_5_1_a10/
LA  - ru
ID  - FPM_1999_5_1_a10
ER  - 
%0 Journal Article
%A V. V. Kudryavtsev
%T On functional system of logical function sheaves
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 1999
%P 149-192
%V 5
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_1999_5_1_a10/
%G ru
%F FPM_1999_5_1_a10
V. V. Kudryavtsev. On functional system of logical function sheaves. Fundamentalʹnaâ i prikladnaâ matematika, Tome 5 (1999) no. 1, pp. 149-192. http://geodesic.mathdoc.fr/item/FPM_1999_5_1_a10/