Pages that link to "Item:Q4269811"
From MaRDI portal
The following pages link to Adapting Calculational Logic to the Undefined (Q4269811):
Displaying 6 items.
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- A logic covering undefinedness in program proofs (Q790610) (← links)
- Reasoning about partial functions in the formal development of programs (Q2863853) (← links)
- Efficient Well-Definedness Checking (Q3541692) (← links)
- Automated Reasoning (Q5307081) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)