Pages that link to "Item:Q1185014"
From MaRDI portal
The following pages link to Semantics of order-sorted specifications (Q1185014):
Displayed 10 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)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Labelings for decreasing diagrams (Q2352504) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- An Oxford survey of order sorted algebra (Q4322433) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- Completeness and confluence of order-sorted term rewriting (Q5881203) (← links)