Annual Conference of the European Association for Computer Science Logic (CSL)
Event name
Annual Conference of the European Association for Computer Science Logic (CSL)
Start date
07-10-2015
End date
10-10-2015
Location
Berlin
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias ; Fermüller, Christian ; Kreutzer, Stephan | Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Bova, Simone Maria ; Barnaby, Martin | First-Order Queries on Finite Abelian Groups | Konferenzbeitrag Inproceedings | 2015 |