Вы здесь

Michaylov S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs 1994 Michaylov S., Pippin B. Logic Programming. Proc. of the 1994 Intern. Symp. 31.01.1996
СТ Repeated Redundant Inequalities in Constraint Logic Programming 1994 Michaylov S. Lecture Notes in Computer Science 01.10.1994
СТ The CLP(R) Language and System 1992 Jaffar J., Michaylov S., Stuckey J., Yap R.H. C. ACM Trans. Programming Languages and Systems 06.09.1992
СТ An Abstract Machine for CLP (R) 1992 Jaffar J., Michaylov S., Stuckey P., Yap R. SIGPLAN Notices 13.07.1992
СТ Compiling the Polymorphic Lambda-Calculus 1991 Michaylov S., Pfenning F. SIGPLAN Notices 26.10.1991