Termination of a set of rules modulo a set of equations

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0047121 ◽

2006 ◽

pp. 175-193 ◽

Cited By ~ 3

Author(s):

Jean-Pierre Jouannaud ◽

Miguel Munoz

Download Full-text