This page shows all presentations of this author published in EasyChair Smart Slide.
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs
Shujun Zhang and Naoki Nishida