Login / Signup
V. E. Itkin
Publication Activity (10 Years)
Years Active: 1972-1991
Publications (10 Years): 0
</>
Publications
</>
V. E. Itkin
An Algebra of Mixed Computation.
Theor. Comput. Sci.
90 (1) (1991)
Andrei P. Ershov
,
V. E. Itkin
Correctness of Mixed Computation in Algol-Like Programs.
MFCS
(1977)
V. E. Itkin
Local- termal equivalence of program schemata.
International Sympoisum on Theoretical Programming
(1972)
V. E. Itkin
,
Z. Zwinogrodzki
On Program Schemata Equivalence.
J. Comput. Syst. Sci.
6 (1) (1972)