Sciweavers

Share
JFLP
2002

Subject Reduction of Logic Programs as Proof-Theoretic Property

8 years 4 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)
books