Pages that link to "Item:Q3585058"
From MaRDI portal
The following pages link to Justification Logic and History Based Computation (Q3585058):
Displayed 7 items.
- Intuitionistic hypothetical logic of proofs (Q276039) (← links)
- The logic of uncertain justifications (Q392291) (← links)
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- Hypothetical logic of proofs (Q2254560) (← links)
- A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
- Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)
- The Logic of Uncertain Justifications (Q3455853) (← links)