Архив
Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары
Вторая всесоюзная конференция по программированию (ВКП-2)
Труды
Заседание К
Заседание К
Маккарти Дж. "Новые результаты в математической теории вычислений"; Редько В.Н. "Параметрические грамматики"; Фуксман А.Л. "О некоторых свойствах формальных грамматик"; Тузов В.А. "Проблемы разрешения для граф-схем с перестановочными операторами"; Непомнящий В.А. "Об одном методе распознавания эквивалентности схем программ и дискретных преобразований"; Гонца М. Г., Маричук М.Н. "Параметрически управляемый синтаксический контроль и анализ языков программирования"

Оригинальный язык документа: русский
Авторы: Михаил Георгиевич Гонца, Михаил Никанорович Маричук, Валерий Александрович Непомнящий, Владимир Никифорович Редько, Виталий Алексеевич Тузов, Адольф Львович Фуксман, Джон Маккарти

Изображения страниц:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39


Назад
Следующий документ (Заседание М)
Предыдущий документ (Заседание З)

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016