Concepts of Proof in Mathematics, Philosophy, and Computer Science
Book title Buchtitel
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Editor Herausgeber_in
Publisher Herausgeber
Walter de Gruyter GmbH
Place of publishing Erscheinungsort
Berlin/Boston
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kuznets, Roman ; Probst, Dieter ; Schuster, Peter | Craig Interpolation via Hypersequents | Buchbeitrag Book Contribution  | 2016 | |
| 2 | Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. | Herbrand Confluence for First-Order Proofs with Π<sub>2</sub>-Cuts | Buchbeitrag Book Contribution | 2016 |