Pages that link to "Item:Q1264438"
From MaRDI portal
The following pages link to Completion of rewrite systems with membership constraints. I: Deduction rules (Q1264438):
Displaying 19 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Simplifying the signature in second-order unification (Q843951) (← links)
- Completion of rewrite systems with membership constraints. II: Constraint solving (Q1264439) (← links)
- Equational formulae with membership constraints (Q1333268) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- Knuth-Bendix completion for non-symmetric transitive relations (Q2841250) (← links)
- A Completion Method to Decide Reachability in Rewrite Systems (Q2964463) (← links)
- Reducing Relative Termination to Dependency Pair Problems (Q3454090) (← links)
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs (Q5200103) (← links)
- Completion of rewrite systems with membership constraints (Q5204334) (← links)
- Completion for constrained term rewriting systems (Q5881204) (← links)
