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.

A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction

Keiko Nakata, Tarmo Uustalu, Marc Bezem. A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. In Hongseok Yang, editor, Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings. Volume 7078 of Lecture Notes in Computer Science, pages 353-368, Springer, 2011. [doi]

Authors

Keiko Nakata

This author has not been identified. Look up 'Keiko Nakata' in Google

Tarmo Uustalu

This author has not been identified. It may be one of the following persons: Look up 'Tarmo Uustalu' in Google

Marc Bezem

This author has not been identified. It may be one of the following persons: Look up 'Marc Bezem' in Google
runs on