Login / Signup
Paolo Mascellani
Publication Activity (10 Years)
Years Active: 1994-2002
Publications (10 Years): 0
</>
Publications
</>
Paolo Mascellani
,
Dino Pedreschi
The Declarative Side of Magic.
Computational Logic: Logic Programming and Beyond
(2002)
Paolo Mascellani
,
Pier Daniele Napoletani
MauroTeX - A Language for Electronic Critical Editions.
ICHIM (2)
(2001)
Paolo Mascellani
,
Dino Pedreschi
Total correctness of logic and pure Prolog programs.
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
(1994)
Paolo Mascellani
,
Dino Pedreschi
Proving termination of Prolog programs.
GULP-PRODE (1)
(1994)