TABLEAUX 2017
Event name
TABLEAUX 2017
Event type
Event for scientific audience
Start date
26-09-2017
End date
29-09-2017
Location
Brasilia
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lellmann, Björn ; Ramanayake, Revantha | General methods in proof theory for modal and substructural logics | Präsentation Presentation | 2017 | |
| 2 | Lellmann, Björn | Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity | Konferenzbeitrag Inproceedings  | 2017 | |
| 3 | Fermüller, Christian G. ; Lang, Timo ; Schmidt, Renate | Interpreting Sequent Calculi as Client-Server Games | Konferenzbeitrag Inproceedings | 2017 |