Pages that link to "Item:Q2811360"
From MaRDI portal
The following pages link to Order-Sorted Rewriting and Congruence Closure (Q2811360):
Displaying 4 items.
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
