Sciweavers

Share
RTA
1987
Springer

Completion for Rewriting Modulo a Congruence

9 years 1 months ago
Completion for Rewriting Modulo a Congruence
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our methods as equational inference systems and describe techniques for reasoning about such systems.
Leo Bachmair, Nachum Dershowitz
Added 28 Aug 2010
Updated 28 Aug 2010
Type Conference
Year 1987
Where RTA
Authors Leo Bachmair, Nachum Dershowitz
Comments (0)
books