The following pages link to (Q4793394):
Displaying 5 items.
- Partial functions and logics: A warning (Q673461) (← links)
- A note on undefined expression values in programming logics (Q1093365) (← links)
- (Q4264064) (← links)
- Logic-Free Reasoning in Isabelle/Isar (Q5505517) (← links)
- Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding (Q6488130) (← links)