The following pages link to Alexander Bunkenburg (Q199022):
Displaying 6 items.
- Partiality and nondeterminacy in program proofs (Q1271855) (← links)
- (Q1347994) (redirect page) (← links)
- A source of inconsistency in theories of nondeterministic functions (Q1347995) (← links)
- E3: A logic for reasoning equationally in the presence of partiality (Q1806134) (← links)
- (Q4698361) (← links)
- A theory of bunches (Q5941635) (← links)