Вы здесь

Pedreschi D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Proof Method for Run-Time Properties of Prolog Programs 1994 Pedreschi D. Logic Programming: Proc. of the Eleventh Intern. Conf. 01.02.1996
СТ Algebraic Properties of a Class of Logic Programs 1990 Mancarella P., Pedreschi D., Rondinelli M., Tagliatti M. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ An Algebra of Logic Programs 1988 Mancarella P., Pedreschi D. Logic Programming: Proc./Fifth Intern.Conf. and Symp. 13.10.1994
СТ 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
СТ Datalog with Non-Deterministic Choice Computers NDB-PTIME 1993 Corciulo L., Giannotti F., Pedreschi D. Lecture Notes in Computer Science 21.12.1993
СТ Datalog++: A Basis for Active Object-Oriented Databases 1997 Giannotti F., Manco G., Nanni M., Pedreschi D. Lecture Notes in Computer Science 16.12.1997
СТ Implementation of Program Composition Operations 1994 Brogi A., Chiarelli A., Mancarella P., Mazzotta V., Pedreschi D., Renso C., Turini F. Lecture Notes in Computer Science 13.10.1994
СТ Meta for Modularising Logic Programming 1992 Brogi A., Mancarella P., Pedreschi D., Turini F. Lecture Notes in Computer Science 03.02.1993
СТ Modular Logic Programming 1994 Brogi A., Mancarella P., Pedreschi D., Turini F. ACM Trans. Programming Languages and Systems 15.11.1994