Pages that link to "Item:Q4928436"
From MaRDI portal
The following pages link to Foundational Proof Certificates in First-Order Logic (Q4928436):
Displayed 12 items.
- A semantic framework for proof evidence (Q1701039) (← links)
- Proof certificates for equality reasoning (Q1744408) (← links)
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- Proofs and Reconstructions (Q2964467) (← links)
- Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations (Q3455767) (← links)
- The Proof Certifier Checkers (Q3455771) (← links)
- (Q5005105) (← links)
- Proof Checking and Logic Programming (Q5743582) (← links)