Pages that link to "Item:Q4322433"
From MaRDI portal
The following pages link to An Oxford survey of order sorted algebra (Q4322433):
Displayed 9 items.
- Order-sorted unification (Q582269) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A hidden agenda (Q1575735) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)