Modular Termination of Basic Narrowing

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70590-1_1 ◽

2008 ◽

pp. 1-16 ◽

Cited By ~ 5

Author(s):

María Alpuente ◽

Santiago Escobar ◽

José Iborra

Download Full-text