The following pages link to Order-sorted unification (Q582269):
Displaying 28 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)
- Computational aspects of an order-sorted logic with term declarations (Q1801289) (← links)
- An ordering linear unification algorithm (Q1824410) (← 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)
- (Q4222859) (← links)
- A Higher-Order Calculus of Computational Fields (Q4617982) (← links)
- (Q4736520) (← links)
- Order-Sorted Generalization (Q4982625) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- Order-sorted Equational Unification Revisited (Q5166637) (← links)
- Completion of rewrite systems with membership constraints (Q5204334) (← links)
- On notions of inductive validity for first-order equational clauses (Q5210769) (← links)
- Soft typing for ordered resolution (Q5234715) (← links)
- Order-Sorted Unification with Regular Expression Sorts. (Q5389145) (← links)
- Term Rewriting and Applications (Q5703877) (← links)
- Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584) (← links)
- Unique-sort order-sorted theories : A description as monad morphisms (Q5881299) (← links)
- Higher-order unification, polymorphism, and subsorts (Q5881304) (← links)
