E. Lastres

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. APPIA-GULP-PRODE (1998)
E. Lastres, R. Moreno
A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas. APPIA-GULP-PRODE (1998)