S-Narrowing for Constructor Systems

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_10 ◽

2012 ◽

pp. 136-150 ◽

Cited By ~ 2

Author(s):

Adrián Riesco ◽

Juan Rodríguez-Hortalá

Download Full-text