Вы здесь

Caseau Y.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms 1999 Caseau Y., Josset F. -X., Laburthe F. Logic Programming 07.03.2001
СТ SALSA: A Language for Search Algorithms 1998 Laburthe F., Caseau Y. Lecture Notes in Computer Science 26.11.1998
СТ Abstract Interpretation of Constraints on Order-Sorted Domains 1991 Caseau Y. Logic Programming: Proc./1991 Intern. Symp. 04.01.1995
СТ Efficient Handling of Multiple Inheritance Hierarchies 1993 Caseau Y. SIGPLAN Notices 26.01.1994
СТ A Deductive and Object-Oriented Approach to a Complex Scheduling Problem 1993 Caseau Y., Guillo P. -Y., Levenez E. Lecture Notes in Computer Science 21.12.1993
СТ Attaching Second-Order Types to Methods in an Object-Oriented Language 1993 Caseau Y., Perron L. Lecture Notes in Computer Science 15.09.1993