Pages that link to "Item:Q3184745"
From MaRDI portal
The following pages link to Order-Sorted Parameterization and Induction (Q3184745):
Displaying 13 items.
- Parametrization for order-sorted algebraic specification (Q909448) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- An order-sorted resolution in theory and practice (Q1390960) (← links)
- Induction using term orders (Q1915132) (← links)
- 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)
- (Q3707388) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- (Q4736520) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)