Non-classical Logics and Their Applications：The 8th International Workshop on Logic and Cognition (WOLC 2016)
Event name
Non-classical Logics and Their Applications：The 8th International Workshop on Logic and Cognition (WOLC 2016)
Event type
Event for scientific audience
Start date
05-12-2016
End date
09-12-2016
Location
Guangzhou
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ramanayake, Revantha | Proof-theoretic methods in non-classical logics: decidability of BI | Präsentation Presentation | 2016 |