I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
1999, VOLUME 5, NUMBER 1, PAGES 149-192
V. V. Kudryavtsev
View as HTML View as gif image View as LaTeX source
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.
All articles are published in Russian.
|Main page||Editorial board|
|Instructions to authors||Contents of the journal|
Last modified: April 27, 1999