A Language for Programming in Logic with Finite Sets

Logic Programming Research

A Language for Programming in Logic with
Finite Sets

(to appear) Journal of Logic Programming,
Elsevier Science Publishers.

Author(s)
Agostino Dovier @ the University of Pisa (Italy),
Eugenio G. Omodeo @ the University of Salerno (Italy),
Enrico Pontelli,
GianFranco Rossi @ the University of Parma (Italy)

Abstract

The whole paper

can be downloaded from our

server.


 Logic Prog. Page   Research Page   Lab Home Page