Pages that link to "Item:Q3977996"
From MaRDI portal
The following pages link to Three-valued predicates for software specification and validation (Q3977996):
Displaying 6 items.
- Partial functions and logics: A warning (Q673461) (← links)
- A first order logic for partial functions (Q918965) (← links)
- Proof systems for reasoning about computation errors (Q1015487) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Propositional calculus for the sequential three-valued logic (McCarthy-like systems) (Q2737176) (← links)
- A three-valued logic for software specification and validation (Q3977997) (← links)