Supercompiler HOSC 1.0: proof of termination
Ик 2010-4/76 [2010-43480]/английский/Supercompiler HOSC 1.0: proof of termination / Ilya G. Klyuchnikov.Supercompiler HOSC 1.0: proof of termination / Ilya G. Klyuchnikov.Supercompiler HOSC 1.0: proof of termination.Moscow/[s.n.]/, 2010 ( ). - [s.n.], 2010. - 27 c. : схем. ; 20 см. - (Препринт / Keldysh Inst. of appl. mathematics, Russ. acad. of sciences, 2071-2898 ; N° 21).Supercompiler HOSC 1.0: proof of termination. Moscow, 2010 .
На обороте тит. л.: Суперкомпилятор HOSC 1.1: доказательство завершаемости / Илья Г. Ключников. - На обл. надзаг. на рус. яз. - Рез. на рус. яз. - Библиогр.: с. 24-25 (16 назв.). Библиогр.: с. 24-25 (16 назв.).Суперкомпилятор HOSC 1.1: доказательство завершаемости/HOSC 1.1, компиляторы (компьют.)/З973.2-018-5-05/
На обороте тит. л.: Суперкомпилятор HOSC 1.1: доказательство завершаемости / Илья Г. Ключников. - На обл. надзаг. на рус. яз. - Рез. на рус. яз. - Библиогр.: с. 24-25 (16 назв.). Библиогр.: с. 24-25 (16 назв.).Суперкомпилятор HOSC 1.1: доказательство завершаемости/HOSC 1.1, компиляторы (компьют.)/З973.2-018-5-05/