追蹤
Cheng-Syuan Wan
Cheng-Syuan Wan
在 cs.ioc.ee 的電子郵件地址已通過驗證 - 首頁
標題
引用次數
引用次數
年份
Proof Theory of Skew Non-Commutative MILL
T Uustalu, N Veltri, CS Wan
arXiv preprint arXiv:2204.06727, 2022
42022
Semi-Substructural Logics with Additives
N Veltri, CS Wan
arXiv preprint arXiv:2404.14922, 2024
2024
Logics of skew categorical structures
T Uustalu, N Veltri, CS Wan
Organizers and Programme Committee, 81, 2022
2022
系統目前無法執行作業,請稍後再試。
文章 1–3