Publications

You are here

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Dino Pedreschi  [Clear All Filters]
1994
L. Corciulo, Giannotti, F., Pedreschi, D., and Zaniolo, C., Expressive Power of Non-Deterministic Operators for Logic-based Languages, in Workshop on Deductive Databases and Logic Programming, 1994, pp. 27-40.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, pp. 292–307, 1994.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., Implementations of Program Composition Operations, in PLILP, 1994, pp. 292-307.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., Modular Logic Programming, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.
D. Pedreschi, A Proof Method for Runtime Properties of Prolog Programs, in ICLP, 1994, pp. 584-598.
P. Mascellani and Pedreschi, D., Proving termination of Prolog programs, in GULP-PRODE (1), 1994, pp. 46-61.

Pages