Pages that link to "Item:Q1100891"
From MaRDI portal
The following pages link to Simplifying conditional term rewriting systems: Unification, termination and confluence (Q1100891):
Displaying 26 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- On word problems in Horn theories (Q757095) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Proving termination of (conditional) rewrite systems. A semantic approach (Q1323317) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- Reasoning with conditional axioms (Q1924731) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Higher order conditional rewriting and narrowing (Q5096313) (← links)
- Conditional semi-Thue systems for presenting monoids (Q5096810) (← links)
- Combinations of simplifying conditional term rewriting systems (Q5881179) (← links)
- Sufficient conditions for modular termination of conditional term rewriting systems (Q5881180) (← links)
- Semantics for positive/negative conditional rewrite systems (Q5881187) (← links)
- Confluence of terminating membership conditional TRS (Q5881201) (← links)
- Conditional rewriting in focus (Q5881263) (← links)
- A maximal-literal unit strategy for horn clauses (Q5881264) (← links)
- Extended term rewriting systems (Q5881265) (← links)
- Proof by consistency in conditional equational theories (Q5881278) (← links)
- On sufficient completeness of conditional specifications (Q5881283) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)
- An universal termination condition for solving goals in equational languages (Q5881302) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
