Pages that link to "Item:Q4917988"
From MaRDI portal
The following pages link to Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988):
Displaying 6 items.
- A semiclassical heat kernel proof of the Poincaré-Hopf theorem (Q494718) (← links)
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- (Q5111329) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
