Pages that link to "Item:Q5432350"
From MaRDI portal
The following pages link to A Characterization of Medial as Rewriting Rule (Q5432350):
Displaying 7 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
- (Q5089024) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Enumerating Independent Linear Inferences (Q6135760) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)
