Pages that link to "Item:Q4275696"
From MaRDI portal
The following pages link to Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus (Q4275696):
Displaying 5 items.
- Rough sets and 3-valued logics (Q1005949) (← links)
- Proof systems for reasoning about computation errors (Q1015487) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Are the logical foundations of verifying compiler prototypes matching user expectations? (Q2643125) (← links)