Fingerprint
Dive into the research topics of 'Completion for rewriting modulo a congruence'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Completion for rewriting modulo a congruence
Leo Bachmair*, Nachum Dershowitz
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
53
Scopus
citations