IJCAR 2016
Event name
IJCAR 2016
Start date
27-06-2016
End date
02-07-2016
Location
Coimbra
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ramanayake, Revantha | Inducing Syntactic Cut-Elimination for Indexed Nested Sequents | Konferenzbeitrag Inproceedings | 2016 | |
| 2 | Leitsch, Alexander ; Cerna, David ; Olivetti, Nicola | Schematic Cut Elimination and the Ordered Pigeonhole Principle | Konferenzbeitrag Inproceedings | 2016 | |
| 3 | Hoder, Kryštof ; Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Selecting the Selection | Konferenzbeitrag Inproceedings  | 2016 |