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.

Automatic Proof and Disproof in Isabelle/HOL

Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow. Automatic Proof and Disproof in Isabelle/HOL. In Cesare Tinelli, Viorica Sofronie-Stokkermans, editors, Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings. Volume 6989 of Lecture Notes in Computer Science, pages 12-27, Springer, 2011. [doi]

Authors

Jasmin Christian Blanchette

This author has not been identified. Look up 'Jasmin Christian Blanchette' in Google

Lukas Bulwahn

This author has not been identified. Look up 'Lukas Bulwahn' in Google

Tobias Nipkow

This author has not been identified. Look up 'Tobias Nipkow' in Google
runs on