Вы здесь
Ruggieri S.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Complete Declarative Debugger of Missing Answers | 1998 | Ruggieri S. | Lecture Notes in Computer Science | 17.04.1998 | |||
СТ | Characterisations of Termination in Logic Programming | 2004 | Pedreschi D., Ruggieri S., Smaus J. -G. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 31.07.2004 | ||
СТ | Decidability of Logic Program Semantics and Applications to Testing | 1996 | Ruggieri S. | Lecture Notes in Computer Science | 20.11.1996 |