Sciweavers

Share
FSTTCS
2000
Springer

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

9 years 7 months ago
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
Jan-Georg Smaus, François Fages, Pierre Der
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where FSTTCS
Authors Jan-Georg Smaus, François Fages, Pierre Deransart
Comments (0)
books