Pages that link to "Item:Q5166637"
From MaRDI portal
The following pages link to Order-sorted Equational Unification Revisited (Q5166637):
Displaying 10 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← 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)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
