Termination of Narrowing in Left-Linear Constructor Systems

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_10 ◽

2008 ◽

pp. 113-129 ◽

Author(s):

Germán Vidal

Download Full-text