Sciweavers

111

Voted

JFLP
2002

84views more JFLP 2002»

Subject Reduction of Logic Programs as Proof-Theoretic Property

15 years 2 months ago

Subject Reduction of Logic Programs as Proof-Theoretic Property

Download scholar.lib.vt.edu

We consider prescriptive type systems for logic programs (as in G

Pierre Deransart, Jan-Georg Smaus

claim paper

Read More »