Pages that link to "Item:Q1185014"
From MaRDI portal
The following pages link to Semantics of order-sorted specifications (Q1185014):
Displayed 5 items.
- Equational completion in order-sorted algebras (Q912606) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- An Oxford survey of order sorted algebra (Q4322433) (← links)