V. E. Itkin

According to our database1, V. E. Itkin
  • authored at least 4 papers between 1972 and 1991.
  • has a "Dijkstra number"2 of three.

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...