FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
1999, VOLUME 5, NUMBER 1, PAGES 149-192
V. V. Kudryavtsev
Abstract
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 |
Location: http://mech.math.msu.su/~fpm/eng/99/991/99111t.htm
Last modified: April 27, 1999