Sciweavers

104
Voted
ELP
1992
15 years 17 days ago
A Direct Semantic Characterization of RELFUN
Harold Boley
ELP
1992
15 years 1 months ago
Embedding Finite Sets in a Logic Programming Language
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...