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.

Inductive Beluga: Programming Proofs

Brigitte Pientka, Andrew Cave. Inductive Beluga: Programming Proofs. In Amy P. Felty, Aart Middeldorp, editors, Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Volume 9195 of Lecture Notes in Computer Science, pages 272-281, Springer, 2015. [doi]

Authors

Brigitte Pientka

This author has not been identified. Look up 'Brigitte Pientka' in Google

Andrew Cave

This author has not been identified. Look up 'Andrew Cave' in Google
runs on