The following pages link to (Q3467531):
Displaying 4 items.
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Proofs, Proofs, Proofs, and Proofs (Q3582720) (← links)