External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs

Shujun Zhang, Naoki Nishida 0001. On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs. In Michael Hanus, Atsushi Igarashi, editors, Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings. Volume 13215 of Lecture Notes in Computer Science, pages 262-281, Springer, 2022. [doi]

Authors

Shujun Zhang

This author has not been identified. Look up 'Shujun Zhang' in Google

Naoki Nishida 0001

This author has not been identified. Look up 'Naoki Nishida 0001' in Google
runs on