Pages that link to "Item:Q1398476"
From MaRDI portal
The following pages link to Handsome proof-nets: Perfect matchings and cographs (Q1398476):
Displaying 13 items.
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- Linear-time algorithm for the matched-domination problem in cographs (Q3101607) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- (Q4993356) (← links)
- Pomset Logic (Q5014600) (← links)
- (Q5018489) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5111329) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- On Residuation (Q5414955) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)
