FLOPS 2022
Tue 10 - Thu 12 May 2022
Online
Toggle navigation
Attending
Venue: Online
Registration
Program
Complete Program
Your Program
Tue 10 May
Wed 11 May
Thu 12 May
Tracks
FLOPS 2022
FLOPS 2022
AiDL 2022
Organization
FLOPS 2022 Committees
Organizing Committee
Track Committees
FLOPS 2022
Programme Chairs
FLOPS 2022
Program Committee
AiDL 2022
Contributors
People Index
Search
Series
Series
FLOPS 2024
FLOPS 2022
Sign in
Sign up
FLOPS 2022
(
series
) /
Shujun Zhang
FLOPS 2022 profile
conf.research.org general profile
Not registered as user yet
Name:
Shujun Zhang
Country:
China
Affiliation:
Nagoya University
Contributions
2022
FLOPS
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs
Show activities from other conferences
Share
FLOPS 2022-profile
View general profile
x
Mon 18 Nov 19:14