conf.researchr.org / Yu Gu
Not registered as user yet
Name:Yu Gu
Country:Japan
Affiliation:University of Tsukuba
Contributions
| POPL 2023 | Author of Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification within the POPL-track Author of Optimal CHC Solving via Termination Proofs within the POPL-track |