The 21st EACSL Annual Conferences on Computer Science Logic

View Statistics Email Alert RSS Feed

Description

Event name
The 21st EACSL Annual Conferences on Computer Science Logic
 
Event type
Event for scientific audience
 
Start date
03-09-2012
End date
06-09-2012
 
Location
UPEC Université
Country
France
 
Event format Veranstaltungsformat
On Site

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