Termination of order-sorted rewriting

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013818 ◽

2005 ◽

pp. 37-52 ◽

Cited By ~ 3

Author(s):

Isabelle Gnaedig

Download Full-text