The following pages link to Order-sorted unification (Q582269):
Displaying 14 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- The calculus of context relations (Q918720) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Order-Sorted Generalization (Q4982625) (← links)
- Order-sorted Equational Unification Revisited (Q5166637) (← links)
