Pages that link to "Item:Q1840647"
From MaRDI portal
The following pages link to A set theory with support for partial functions (Q1840647):
Displaying 9 items.
- Classical logic with partial functions (Q438568) (← links)
- The connection between two ways of reasoning about partial functions (Q963419) (← links)
- An axiomatic theory for partial functions (Q1317437) (← links)
- Encoding functional relations in Scunak (Q2871865) (← links)
- IMPS: An updated system description (Q4647527) (← links)
- (Q5283809) (← links)
- Classical Logic with Partial Functions (Q5747762) (← links)
- Automated Deduction – CADE-19 (Q5900716) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)