Sciweavers

JFLP
2002

Subject Reduction of Logic Programs as Proof-Theoretic Property

13 years 11 months ago
Subject Reduction of Logic Programs as Proof-Theoretic Property
We consider prescriptive type systems for logic programs (as in G
Pierre Deransart, Jan-Georg Smaus
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JFLP
Authors Pierre Deransart, Jan-Georg Smaus
Comments (0)