E. Lastres

According to our database, E. Lastres authored at least 2 papers in 1998.

Collaborative distances:

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

1998

A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas.

E. Lastres, R. Moreno

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation.

Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998