The following pages link to Term Rewriting and Applications (Q5703870):
Displaying 6 items.
- Knuth-Bendix completion of theories of commuting group endomorphisms (Q844197) (← links)
- Fast congruence closure and extensions (Q876046) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Purging in an equality data base (Q1138393) (← links)
- Justifying equality (Q2848059) (← links)
- Generating minimum transitivity constraints in P-time for deciding equality logic (Q2864399) (← links)