Publications

You are here

Export 5 results:
Author Title [ Type(Desc)] Year
Filters: Author is Paolo Mascellani  [Clear All Filters]
Conference Paper
P. Mascellani and Pedreschi, D., The Declarative Side of Magic, in Computational Logic: Logic Programming and Beyond, 2002, pp. 83-108.
P. Mascellani and Pedreschi, D., Proving termination of Prolog programs, in GULP-PRODE (1), 1994, pp. 46-61.