Pages that link to "Item:Q679251"
From MaRDI portal
The following pages link to Partial functions in a total setting (Q679251):
Displaying 12 items.
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- Partial functions in type theory (Q689208) (← links)
- Partial and nested recursive function definitions in higher-order logic (Q972425) (← links)
- Extending a first order predicate calculus with partially defined iota terms (Q998105) (← links)
- Partial inductive definitions (Q1177153) (← links)
- Partial logics reconsidered: A conservative approach (Q1261311) (← links)
- A typed logic of partial functions reconstructed classically (Q1338893) (← links)
- Partial functions in ACL2 (Q1425160) (← links)
- A practical approach to partial functions in CVC Lite (Q2848053) (← links)
- Reasoning about partial functions in the formal development of programs (Q2863853) (← links)
- Theorem proving for classical logic with partial functions by reduction to Kleene logic (Q2987064) (← links)
- Partiality and recursion in interactive theorem provers – an overview (Q5741556) (← links)