Pages that link to "Item:Q3184745"
From MaRDI portal
The following pages link to Order-Sorted Parameterization and Induction (Q3184745):
Displaying 7 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)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
