Pages that link to "Item:Q5055784"
From MaRDI portal
The following pages link to A semantic approach to order-sorted rewriting (Q5055784):
Displaying 17 items.
- A semantic approach to order-sorted rewriting (Q1264441) (← links)
- Partial order semantics and read arcs (Q1608891) (← links)
- A generalization of ordered-pair semantics (Q2148827) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Semantics of MML query -- ordering (Q2852181) (← links)
- (Q4447252) (← links)
- A study of evaluation order semantics in expressions with side effects (Q4507959) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- Abstract domains for reordering CLP(RLin) programs (Q4943436) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- On the Expressivity of Optimality Theory versus Ordered Rewrite Rules (Q5327378) (← links)
- On the Completeness of Context-Sensitive Order-Sorted Specifications (Q5432344) (← links)
- Could orders be captured by term rewriting systems? (Q5881195) (← links)
- Completeness and confluence of order-sorted term rewriting (Q5881203) (← links)
- Compatibility of order-sorted rewrite rules (Q5881301) (← links)
- Currying of order-sorted term rewriting systems (Q6085707) (← links)