First International Conference - Formal Structures for Computation and Deduction (FSCD)
Event name
First International Conference - Formal Structures for Computation and Deduction (FSCD)
Event type
Event for scientific audience
Start date
22-06-2016
End date
26-06-2016
Location
Porto, Portugal
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Aschieri, Federico | Natural Deduction and Curry-Howard for Herbrand Constructive Logics | Präsentation Presentation | 2016 | |
2 | Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham | On the Herbrand content of LK | Präsentation Presentation | 2016 |