Sciweavers

149

Voted

ELP
1992

191views Logical Reasoning» more ELP 1992»

A Direct Semantic Characterization of RELFUN

15 years 7 months ago

A Direct Semantic Characterization of RELFUN

Download www.cs.unb.ca

Harold Boley

claim paper

Read More »

95

Voted

ELP
1992

112views Logical Reasoning» more ELP 1992»

Embedding Finite Sets in a Logic Programming Language

15 years 7 months ago

Embedding Finite Sets in a Logic Programming Language

Download users.dimi.uniud.it

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...

claim paper

Read More »