Pages that link to "Item:Q1262752"
From MaRDI portal
The following pages link to Completion for rewriting modulo a congruence (Q1262752):
Displaying 24 items.
- Towards a foundation of completion procedures as semidecision procedures (Q673134) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- A rewriting strategy to verify observational congruence (Q915472) (← links)
- Termination and completion modulo associativity, commutativity and identity (Q1199927) (← links)
- Automated deduction with associative-commutative operators (Q1340508) (← links)
- Partial completion of equational theories (Q1592635) (← links)
- Infinite complete group presentations (Q1916428) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Equational theorem proving modulo (Q2055853) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Deduction, Strategies, and Rewriting (Q2864357) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Decidability of confluence and termination of monadic term rewriting systems (Q5055767) (← links)
- Proving equational and inductive theorems by completion and embedding techniques (Q5055774) (← links)
- Simulating Buchberger's algorithm by Knuth-Bendix completion (Q5055776) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- Explicit substitutions with de bruijn's levels (Q5055838) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q5204333) (← links)
- AC-superposition with constraints: No AC-unifiers needed (Q5210796) (← links)
- A completion-based method for mixed universal and rigid E-unification (Q5210805) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
