Pages that link to "Item:Q963419"
From MaRDI portal
The following pages link to The connection between two ways of reasoning about partial functions (Q963419):
Displaying 7 items.
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- A typed logic of partial functions reconstructed classically (Q1338893) (← links)
- A practical approach to partial functions in CVC Lite (Q2848053) (← links)
- Reasoning about partial functions in the formal development of programs (Q2863853) (← links)
- Adapting Calculational Logic to the Undefined (Q4269811) (← links)
- The lazy logic of partial terms (Q4779651) (← links)
- A first order logic for partial functions (Q5096142) (← links)