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 23 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)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5043598) (← links)
- On how to move mountains ‘associatively and commutatively’ (Q5055722) (← links)
- Consider only general superpositions in completion procedures (Q5055743) (← links)
- Redundancy criteria for constrained completion (Q5055781) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- On proving termination by innermost termination (Q5055854) (← links)
- Confluence of terminating conditional rewrite systems revisited (Q5055864) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
- Associative-commutative deduction with constraints (Q5210795) (← links)
- On pot, pans and pudding or how to discover generalised critical Pairs (Q5210806) (← links)
- Noncommutative Gröbner Basis over a Divisible and Annihilable Ring (Q5738737) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)
