‪Cheng-Syuan Wan‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	4	4
h-index	1	1
i10-index	0	0

0

2

1

2022202320241 2 1

Co-authors

Niccolò VeltriResearcher, Department of Software Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is

Cheng-Syuan Wan

Cheng-Syuan Wan

PhD Student, Tallinn University of Technology

Verified email at cs.ioc.ee - Homepage

Proof theory Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Proof Theory of Skew Non-Commutative MILL T Uustalu, N Veltri, CS Wan arXiv preprint arXiv:2204.06727, 2022	4	2022
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

The system can't perform the operation now. Try again later.

Articles 1–3