V. E. Itkin

According to our database, V. E. Itkin authored at least 4 papers between 1972 and 1991.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

1991

An Algebra of Mixed Computation.

V. E. Itkin

Theor. Comput. Sci., 1991

1977

Correctness of Mixed Computation in Algol-Like Programs.

Andrei P. Ershov, V. E. Itkin

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1972

On Program Schemata Equivalence.

V. E. Itkin, Z. Zwinogrodzki

J. Comput. Syst. Sci., 1972

Local- termal equivalence of program schemata.

V. E. Itkin

Proceedings of the International Sympoisum on Theoretical Programming, 1972