From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions (Q5756722)
From MaRDI portal
scientific article; zbMATH DE number 5187380
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions |
scientific article; zbMATH DE number 5187380 |
Statements
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions (English)
0 references
5 September 2007
0 references
