Termination of Constraint Contextual Rewriting

Frontiers of Combining Systems - Lecture Notes in Computer Science ◽

10.1007/10720084_4 ◽

2000 ◽

pp. 47-61 ◽

Author(s):

Alessandro Armando ◽

Silvio Ranise

Download Full-text