Pages that link to "Item:Q3605521"
From MaRDI portal
The following pages link to The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521):
Displayed 5 items.
- The logic of uncertain justifications (Q392291) (← links)
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- The Logic of Uncertain Justifications (Q3455853) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)