Pages that link to "Item:Q3184745"
From MaRDI portal
The following pages link to Order-Sorted Parameterization and Induction (Q3184745):
Displaying 5 items.
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)