Pages that link to "Item:Q5166637"
From MaRDI portal
The following pages link to Order-sorted Equational Unification Revisited (Q5166637):
Displaying 18 items.
- Order-sorted unification (Q582269) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems (Q1803659) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
