SOFTWARE AND KNOWLEDGE-BASED SYSTEMS (SaKS)

This page shows the publications appeared in journals, collections, periodic conferences, and books whose authors are currently affiliated with the Institute. The publications are grouped by research topic and then by publication site. Finally, each publication site is linked to the corresponding article list. The numbers in square brackets give the total number of publications associated with the corresponding item.

Journal of Logic Programming
  • Pettorossi A., Maurizio Proietti: Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs, Journal of Logic Programming 41, 197-230, 1999
  • Pettorossi A., Maurizio Proietti: Transformation of Logic Programs: Foundations and Techniques, Journal of Logic Programming 19--20, 261-320, 1994
  • Maurizio Proietti, Pettorossi A.: The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction, Journal of Logic Programming 16 (1--2), 123-161, 1993
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -