24th International Conference, TABLEAUX 2015
Event name
24th International Conference, TABLEAUX 2015
Event type
Event for scientific audience
Start date
21-09-2015
End date
24-09-2015
Location
Wroclaw
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 ; De Nivelle, Hans | Linear Nested Sequents, 2-sequents and Hypersequents | Konferenzbeitrag Inproceedings | 2015 | |
| 2 | Genco, Francesco | Mīmāṃsā deontic logic: proof theory and applications | Präsentation Presentation | 2015 | |
| 3 | Borg, Annemarie ; Kuznets, Roman ; De Nivelle, Hans | Realization Theorems for Justification Logics: Full Modularity | Konferenzbeitrag Inproceedings  | 2015 |