V. E. Itkin

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

Collaborative distances:

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


  Loading...