Pages that link to "Item:Q1079560"
From MaRDI portal
The following pages link to Partial-predicate logic in computer science (Q1079560):
Displaying 9 items.
- A first order logic for partial functions (Q918965) (← links)
- Proof systems for reasoning about computation errors (Q1015487) (← links)
- A guided tour of the mathematics of MetaSoft '88 (Q1111360) (← links)
- Partial logics reconsidered: A conservative approach (Q1261311) (← links)
- The non-definedness notion in expert systems (Q1818978) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus (Q4275696) (← links)
- A first order logic for partial functions (Q5096142) (← links)
