dblp.uni-trier.dewww.uni-trier.de

V. E. Itkin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991
4 V. E. Itkin: An Algebra of Mixed Computation. Theor. Comput. Sci. 90(1): 81-93 (1991)
1977
3 Andrei P. Ershov, V. E. Itkin: Correctness of Mixed Computation in Algol-Like Programs. MFCS 1977: 59-77
1972
2 V. E. Itkin: Local- termal equivalence of program schemata. International Sympoisum on Theoretical Programming 1972: 127-143
1 V. E. Itkin, Z. Zwinogrodzki: On Program Schemata Equivalence. J. Comput. Syst. Sci. 6(1): 88-101 (1972)

Coauthor Index

1Andrei P. Ershov [3]
2Z. Zwinogrodzki [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)