V. E. Itkin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page