Termination proofs in an abstract setting (0)

by S Kahrs
Venue:Mathematical Structures in Computer Science
Add To MetaCart
Results 1 - 1 of 1

Higher-Order Rewriting

by Femke Van Raamsdonk - 12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051 , 1999
"... This paper will appear in the proceedings of the 10th international conference on rewriting techniques and applications (RTA'99). c flSpringer Verlag. ..."
Abstract - Cited by 18 (1 self) - Add to MetaCart
This paper will appear in the proceedings of the 10th international conference on rewriting techniques and applications (RTA'99). c flSpringer Verlag.