Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping (2000)

Cached

Download Links

by Jan-Georg Smaus , François Fages , Pierre Deransart
Citations:8 - 7 self