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

Event name
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL (CSL 2012)
 
Event type
Event for scientific audience
 
Start date
03-09-2012
End date
06-09-2012
 
Location
Fontainebleau
Country
France
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Reis, Giselle ; Woltzenlogel-Paleo, Bruno Towards CERes in intuitionistic logicKonferenzbeitrag Inproceedings2012