Geodesic
On functional system of logical function sheaves
Fundamentalʹnaâ i prikladnaâ matematika, Tome 5 (1999) no. 1, pp. 149-192
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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},
     year = {1999},
     volume = {5},
     number = {1},
     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
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
%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/