Login / Signup
Yichen Tao
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Derivation Rules
Envy Freeness
Classical Logic
Proof Theoretic
Top Venues
CoRR
SETTA
AAMAS
IJTCS-FAW
</>
Publications
</>