|
Fundamentalnaya i Prikladnaya Matematika, 1999, Volume 5, Issue 1, Pages 149–192
(Mi fpm373)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
On functional system of logical function sheaves
V. V. Kudryavtsev M. V. Lomonosov Moscow State University
Abstract:
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.
Received: 01.04.1996
Citation:
V. V. Kudryavtsev, “On functional system of logical function sheaves”, Fundam. Prikl. Mat., 5:1 (1999), 149–192
Linking options:
https://www.mathnet.ru/eng/fpm373 https://www.mathnet.ru/eng/fpm/v5/i1/p149
|
Statistics & downloads: |
Abstract page: | 223 | Full-text PDF : | 101 | First page: | 2 |
|