Pages that link to "Item:Q1102736"
From MaRDI portal
The following pages link to Equational specification of partial higher-order algebras (Q1102736):
Displaying 7 items.
- Free objects and equational deduction for partial conditional specifications (Q673184) (← links)
- On the algebraic specification of infinite objects - ordered and continuous models of algebraic types (Q1057642) (← links)
- (Q3809236) (← links)
- (Q4471715) (← links)
- (Q4703884) (← links)
- A first order logic for partial functions (Q5096142) (← links)
- Consistency and semantics of equational definitions over predefined algebras (Q5881176) (← links)