| 1991 | ||
|---|---|---|
| j2 | ||
| 1977 | ||
| c2 | Andrei P. Ershov, V. E. Itkin: Correctness of Mixed Computation in Algol-Like Programs. MFCS 1977: 59-77 | |
| 1972 | ||
| j1 | V. E. Itkin, Z. Zwinogrodzki: On Program Schemata Equivalence. J. Comput. Syst. Sci. 6(1): 88-101 (1972) | |
| c1 | V. E. Itkin: Local- termal equivalence of program schemata. International Sympoisum on Theoretical Programming 1972: 127-143 | |
| 1 | Andrei P. Ershov | |
| 2 | Z. Zwinogrodzki |
Data released under the ODC-BY 1.0 license — See also our legal information page