HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:cyclic proof

Publications
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs
Shujun Zhang and Naoki Nishida
EasyChair Preprint 8672
Copyright © 2012-2025 easychair.org. All rights reserved.