Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

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

2008 ◽

pp. 351-365 ◽

Cited By ~ 2

Author(s):

Sorin Stratulat

Download Full-text