Вы здесь
Genaim S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling | 2003 | Genaim S., King A. | Lecture Notes in Computer Science | 16.04.2003 | |||
| СТ | Reuse of Results in Termination Analysis of Typed Logic Programs | 2002 | Bruynooghe M., Codish M., Genaim S., Vanfoof W. | Lecture Notes in Computer Science | 31.10.2002 | |||
| СТ | The Def-inite Approach to Dependency Analysis | 2001 | Genaim S., Codish M. | Lecture Notes in Computer Science | 28.04.2001 |