Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
Book title Buchtitel
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
Publisher Herausgeber
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale | A systematic approach to canonicity in the classical sequent calculus | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Hetzl, Stefan ; Straßburger, Lutz | Herbrand-confluence for cut elimination in classical first order logic | Konferenzbeitrag Inproceedings | 2012 |