Pages that link to "Item:Q2811360"
From MaRDI portal
The following pages link to Order-Sorted Rewriting and Congruence Closure (Q2811360):
Displaying 12 items.
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems (Q1803659) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- (Q4447252) (← links)
- Abstract domains for reordering CLP(RLin) programs (Q4943436) (← links)
- Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- Currying of order-sorted term rewriting systems (Q6085707) (← links)
