Search CORE

6 research outputs found

Solutions of problems on partially explicit models: II

Author: A. V. Karzanov
M. I. Kakhro
O. A. Aarna
O. A. Aarna
O. Aarna
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1983
Field of study

Podgotovka molodykh spetsialistov (Training of young scientists, in Russian)

Author: Kakhro N. M.
Koroleva L. V.
Kostygov S. A.
Polyakova E. I.
Publication venue: Izdat. Moskovskogo Universiteta
Publication date: 01/01/2009
Field of study

Problem solving on partially explicit models. I

Author: A. V. Karzanov
M. I. Kakhro
O. A. Aarna
V. P. Grigorenko
V. P. Grigorenko
W. P. Ledet
É. Kh. Tyugu
É. Kh. Tyugu
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1982
Field of study

Principles of program synthesis for real-time systems on the basis of a formal logical description of the problem environment

Author: A. A. Ros'
A. A. Ros'
A. A. Ros'
A. I. Kaz'min
D. Loveland
M. I. Kakhro
M. N. Emden
V. A. Smirnov
V. E. Yarushek
V. E. Yarushek
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1986
Field of study

Realization of attributive semantics

Author: A. N. Biryukov
D. E. Knuth
D. E. Knuth
G. V. Bochmann
M. I. Kakhro
M. Saarinen
PRIZ Macrosystem
Ya. �. Pen'yam
É. Kh. Tyugu
É. Kh. Tyugu
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1980
Field of study

Program specification and synthesis using systems of equations over data structures

Author: A. A. Letichevskii
A. A. Letichevskii
A. A. Letichevskii
A. A. Lyapunov
A. N. Andrianov
A. N. Andrianov
A. P. Ershov
A. Pnueli
E. A. Ashcroft
E. V. Zima
G. I. Razumovskaya
G. N. Gorlach
G. N. Gorlach
I. B. Zadykhailo
I. B. Zadykhailo
I. B. Zadykhailo
J. Wilkinson
L. Lamport
M. I. Kakhro
M. Karp
N. Prywes
N. Prywes
R. I. Podlovchenko
R. N. Tonoyan
S. M. Efimova
S. N. Greshnev
S. P. Gorlach
S. P. Gorlach
S. P. Gorlach
S. P. Gorlach
S. P. Rodimin
S. S. Gorokhovskii
S. S. Kamynin
S. S. Lavrov
V. E. Kotov
V. M. Glushkov
V. M. Glushkov
V. M. Glushkov
V. M. Glushkov
V. M. Glushkov
V. M. Glushkov
V. M. Glushkov
V. M. Glushkov
V. M. Glushkov
V. N. Agafonov
V. N. Aleeva
V. S. Mikhalevich
V. V. Voevodin
V. É. Malyshkin
V. É. Malyshkin
Yu. V. Kapitonova
Yu. V. Kapitonova
Yu. V. Kapitonova
É. A. Trakhtengerts
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1989
Field of study

core

core