LFCS 2020
Event name
LFCS 2020
Start date
04-01-2020
End date
07-01-2020
Location
Deerfield Beach, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Lyon, Tim | On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems | Konferenzbeitrag Inproceedings  | 2020 | |
| 2 | Lyon, Tim | Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents | Konferenzbeitrag Inproceedings | 2020 |