Login / Signup
Cheng-Syuan Wan
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Special Case
Proof Theory
Cp Nets
Nonmonotonic Reasoning
Top Venues
NCL
</>
Publications
</>
Tarmo Uustalu
,
Niccolò Veltri
,
Cheng-Syuan Wan
Proof Theory of Skew Non-Commutative MILL.
NCL
(2022)