Sciweavers

Share
TLCA
1995
Springer

Third-Order Matching in the Presence of Type Constructors

9 years 2 months ago
Third-Order Matching in the Presence of Type Constructors
Jan Springintveld
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where TLCA
Authors Jan Springintveld
Comments (0)
books