Pages that link to "Item:Q3100201"
From MaRDI portal
The following pages link to A Proposal for Broad Spectrum Proof Certificates (Q3100201):
Displaying 6 items.
- Proof certificates for equality reasoning (Q1744408) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Combinatorial flows and their normalisation (Q5111329) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- (Q5271422) (← links)
- On mixed connectivity certificates (Q6102287) (← links)