Pages that link to "Item:Q1701039"
From MaRDI portal
The following pages link to A semantic framework for proof evidence (Q1701039):
Displayed 7 items.
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Towards substructural property-based testing (Q6102253) (← links)