_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Заседание N 375
Дата: 3.03.95
Время:15.00
_________________________________________________________________
A.В.Сабельфельд
Реферирование статьи
B. Courcelle, J. Vuillemin
Semantics and Axiomatics of a simple recursive language
_________________________________________________________________