# V. E. Itkin

According to our database

^{1}, V. E. Itkin## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1991

An Algebra of Mixed Computation.

Theor. Comput. Sci., 1991

1977

Correctness of Mixed Computation in Algol-Like Programs.

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1972

On Program Schemata Equivalence.

J. Comput. Syst. Sci., 1972

Local- termal equivalence of program schemata.

Proceedings of the International Sympoisum on Theoretical Programming, 1972