Pages that link to "Item:Q1106657"
From MaRDI portal
The following pages link to Only prime superpositions need be considered in the Knuth-Bendix completion procedure (Q1106657):
Displaying 12 items.
- Multi-completion with termination tools (Q352956) (← links)
- Redundancy criteria for constrained completion (Q673620) (← links)
- Automating inductionless induction using test sets (Q758216) (← links)
- Multi-valued logic and Gröbner bases with applications to modal logic (Q804567) (← links)
- Elimination of composite superpositions may cause abortion (Q808267) (← links)
- Automated proofs of the Moufang identities in alternative rings (Q912653) (← links)
- A refutational approach to geometry theorem proving (Q1124373) (← links)
- Completion for rewriting modulo a congruence (Q1262752) (← links)
- Unnecessary inferences in associative-commutative completion procedures (Q3489486) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5043598) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)
