Pages that link to "Item:Q1398476"
From MaRDI portal
The following pages link to Handsome proof-nets: Perfect matchings and cographs (Q1398476):
Displaying 8 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)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- (Q4993356) (← 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)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
