The completeness problem in functional systems of program type
Golunkov, Yuriy Valentinovich, 1992, Doctor of Sciences dissertation
Kazan
242 pp.
More works in this specialty
- Coding of stochastic context-free languages
Zhil'tsova, Larisa Pavlovna · 2004 · Doctor of Sciences
- Analytical and numerical methods for studying the dynamics of charged particle beams
Galochkina, Mariya Fedorovna · 1993 · Candidate of Sciences
- Estimates of reachable sets of controlled distributed systems and their applications to the modeling of aquatic ecosystems
Rozenraukh, Dmitriy Matveevich · 1993 · Candidate of Sciences
- Stability of the behavior of automata
Kalyanov, Leontiy Veniaminovich · 1993 · Candidate of Sciences
- Minimization of functions having a concave minorant on a compact set, and their properties
Khamisov, Oleg Valeryevich · 1993 · Candidate of Sciences