Pages that link to "Item:Q1035649"
From MaRDI portal
The following pages link to Logical structures and genus of proofs (Q1035649):
Displaying 6 items.
- Graphs of plural cuts (Q383359) (← links)
- Interpolants, cut elimination and flow graphs for the propositional calculus (Q674415) (← links)
- Ancestral Logic: A Proof Theoretical Study (Q2938136) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- The genus of regular languages (Q4599611) (← links)
- The genus of regular languages and directed graph emulators (Q6495791) (← links)