Вы здесь

Ruggieri S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ A Complete Declarative Debugger of Missing Answers 1998 Ruggieri S. Lecture Notes in Computer Science 17.04.1998
СТ Decidability of Logic Program Semantics and Applications to Testing 1996 Ruggieri S. Lecture Notes in Computer Science 20.11.1996