Paolo Mascellani

According to our database, Paolo Mascellani authored at least 4 papers between 1994 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

The Declarative Side of Magic.

Paolo Mascellani, Dino Pedreschi

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

MauroTeX - A Language for Electronic Critical Editions.

Paolo Mascellani, Pier Daniele Napoletani

Proceedings of the International Cultural Heritage Informatics Meeting: Proceedings from ICHIM 2001. Politechnico di Milano, Milan, Italy, September 3-7, 2001, 2001

1994

Total correctness of logic and pure Prolog programs.

Paolo Mascellani, Dino Pedreschi

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Proving termination of Prolog programs.

Paolo Mascellani, Dino Pedreschi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994