Syntax Meets Semantics 2016
Event name
Syntax Meets Semantics 2016
Event type
Event for scientific audience
Start date
05-09-2016
End date
09-09-2016
Location
Barcelona
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ciabattoni, Agata ; Genco, Francesco | Hypersequents and Systems of Rules: An Embedding | Präsentation Presentation | 2016 | |
| 2 | Fermüller, Christian | Interpreting Sequent Calculi as Client-Server Games | Präsentation Presentation | 2016 | |
| 3 | Kuznets, Roman | Syntax Meets Semantcs to Prove Interpolation | Präsentation Presentation | 2016 |