The following pages link to (Q3334056):
Displaying 14 items.
- Equational completion in order-sorted algebras (Q912606) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Homomorphism preserving algebraic specifications require hidden sorts (Q1893731) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- A Framework for Order-Sorted Algebra (Q2996140) (← links)
- (Q3081936) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- (Q3707388) (← links)
- (Q4736520) (← links)
- Higher-order order-sorted algebras (Q5096189) (← links)