Pages that link to "Item:Q5881203"
From MaRDI portal
The following pages link to Completeness and confluence of order-sorted term rewriting (Q5881203):
Displaying 18 items.
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Completion of rewrite systems with membership constraints. II: Constraint solving (Q1264439) (← links)
- A semantic approach to order-sorted rewriting (Q1264441) (← links)
- Computational aspects of an order-sorted logic with term declarations (Q1801289) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- (Q4447252) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- On the Expressivity of Optimality Theory versus Ordered Rewrite Rules (Q5327378) (← links)
- Partial Order Infinitary Term Rewriting (Q5419490) (← links)
- On the Completeness of Context-Sensitive Order-Sorted Specifications (Q5432344) (← links)
- Could orders be captured by term rewriting systems? (Q5881195) (← links)
- Compatibility of order-sorted rewrite rules (Q5881301) (← links)
- Currying of order-sorted term rewriting systems (Q6085707) (← links)
- Ordered rewriting and confluence (Q6488545) (← links)
