Публикации в базе данных Math-Net.Ru
-
Нормальное задание семантик языков современных систем программирования
Докл. АН СССР, 223:6 (1975), 1329–1332
-
Метаязык, ориентированный на эффективное задание языков современных систем программирования
Докл. АН СССР, 213:5 (1973), 1033–1036
-
К вопросу построения генераторов правильной информации
Докл. АН СССР, 208:6 (1973), 1307–1310
-
Поправки к статье “Нормальное задание семантик языков современных систем программирования” (ДАН, т. 223, № б, 1975 г.)
Докл. АН СССР, 227:4 (1976), 776
© , 2024