Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL
 
ISBN
978-3-939897-42-2
 
Editor Herausgeber_in
 
Publisher Verlag
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
 
Place of publishing Erscheinungsort
Dagstuhl
 
Volume Band
16
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hetzl, Stefan ; Straßburger, Lutz Herbrand-confluence for cut elimination in classical first order logicKonferenzbeitrag Inproceedings 2012
2Chaudhuri, Kaustuv ; Hetzl, Stefan ; Miller, Dale A systematic approach to canonicity in the classical sequent calculusKonferenzbeitrag Inproceedings 2012