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

V. E. Itkin Vis

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

*1991
4 V. E. Itkin: An Algebra of Mixed Computation. Theor. Comput. Sci. 90(1): 81-93 (1991)
1977
3EEAndrei P. Ershov, V. E. Itkin: Correctness of Mixed Computation in Algol-Like Programs. MFCS 1977: 59-77
1972
2EEV. 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)