СТ |
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++: A Basis for Active Object-Oriented Databases |
1997 |
Giannotti F., Manco G., Nanni M., Pedreschi D. |
|
|
|
Lecture Notes in Computer Science |
16.12.1997 |
СТ |
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 |
СТ |
Modular Logic Programming |
1994 |
Brogi A., Mancarella P., Pedreschi D., Turini F. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.11.1994 |
СТ |
An Algebra of Logic Programs |
1988 |
Mancarella P., Pedreschi D. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
СТ |
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 |
СТ |
Datalog with Non-Deterministic Choice Computers NDB-PTIME |
1993 |
Corciulo L., Giannotti F., Pedreschi D. |
|
|
|
Lecture Notes in Computer Science |
21.12.1993 |
СТ |
Meta for Modularising Logic Programming |
1992 |
Brogi A., Mancarella P., Pedreschi D., Turini F. |
|
|
|
Lecture Notes in Computer Science |
03.02.1993 |