Pages that link to "Item:Q1317437"
From MaRDI portal
The following pages link to An axiomatic theory for partial functions (Q1317437):
Displaying 11 items.
- A first order theory of functional parthood (Q878233) (← links)
- The axiomatization of override and update (Q975885) (← links)
- Map theory (Q1193653) (← links)
- A set theory with support for partial functions (Q1840647) (← links)
- Axiomatic theory of partial continuous functions and the Peano curve (Q1895047) (← links)
- Difference-restriction algebras of partial functions: axiomatisations and representations (Q2153921) (← links)
- Axiomatization and the antimean function on paths (Q2931923) (← links)
- (Q3340833) (← links)
- Towards a Theory of Extractable Functions (Q3611790) (← links)
- Axiomatic recursion theory and the continuous functionals (Q3717039) (← links)
- An axiomatization of partial <i>n</i>-place operations (Q4344794) (← links)