Publications

Export 2 results:
Sort by: Author Title Type [ Year (Asc)]
1994
Mascellani, P, Pedreschi D.  1994.  Proving termination of Prolog programs. GULP-PRODE (1). :46-61.
2002
Mascellani, P, Pedreschi D.  2002.  The Declarative Side of Magic. Computational Logic: Logic Programming and Beyond. :83-108.