Annual Conference of the European Association for Computer Science Logic (CSL)

Event name
Annual Conference of the European Association for Computer Science Logic (CSL)
 
Event type
Event for scientific audience
 
Start date
07-10-2015
End date
10-10-2015
 
Location
Berlin
Country
Germany
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Fermüller, Christian Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic LogicKonferenzbeitrag Inproceedings 2015
2Bova, Simone Maria ; Barnaby, Martin First-Order Queries on Finite Abelian GroupsKonferenzbeitrag Inproceedings 2015