Pages that link to "Item:Q1111368"
From MaRDI portal
The following pages link to Conditional rewrite rules: Confluence and termination (Q1111368):
Displayed 30 items.
- A sequential reduction strategy (Q671504) (← links)
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- Conditional linearization (Q698633) (← links)
- Equational type logic (Q752689) (← links)
- A completion procedure for conditional equations (Q758211) (← links)
- Implementing term rewrite languages in DACTL (Q912591) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Conditional rewrite rules (Q1065790) (← links)
- Rewrite method for theorem proving in first order theory with equality (Q1098649) (← links)
- Simplifying conditional term rewriting systems: Unification, termination and confluence (Q1100891) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Term-rewriting systems with rule priorities (Q1262749) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Origin tracking (Q1322842) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Proving termination of (conditional) rewrite systems. A semantic approach (Q1323317) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Elimination of conditions (Q1974693) (← links)
- Logicality of conditional rewrite systems (Q1978646) (← links)
- Nominal rewriting (Q2373703) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem (Q5941196) (← links)
- Implementing conditional term rewriting by graph rewriting (Q5958126) (← links)