Pages that link to "Item:Q1064065"
From MaRDI portal
The following pages link to Rewrite systems on a lattice of types (Q1064065):
Displaying 5 items.
- Generator induction in order sorted algebras (Q749219) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- (Q4281465) (← links)