Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shujun Zhang
conf.researchr.org general profile
FLOPS 2022 profile
Not registered as user
Name:
Shujun Zhang
Country:
China
Affiliation:
Nagoya University
Contributions
2022
FLOPS
Author of On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs within the FLOPS 2022-track
Share
x
Mon 30 Dec 18:26