Вы здесь

Hamel L. H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Towards a Provably Correct Compiler for OBJ3 1994 Hamel L. H., Goguen J. A. Lecture Notes in Computer Science 12.10.1994
СТ UCG-E: An Equational Logic Programming System 1992 Hamel L. H. Lecture Notes in Computer Science 13.10.1992
СТ Industrial Strength Compiler Construction with Equations 1992 Hamel L. H. SIGPLAN Notices 06.09.1992