Pages that link to "Item:Q5111329"
From MaRDI portal
The following pages link to Combinatorial flows and their normalisation (Q5111329):
Displaying 9 items.
- From syntactic proofs to combinatorial proofs (Q1799109) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- Proofs without syntax (Q2469641) (← links)
- 3-Flows and Combs (Q2930042) (← links)
- Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination (Q4337947) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Normalization flow (Q6069643) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)