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.

Beagle as a HOL4 external ATP method

Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish. Beagle as a HOL4 external ATP method. In Stephan Schulz 0001, Leonardo de Moura, Boris Konev, editors, 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. Volume 31 of EPiC Series in Computing, pages 50-59, EasyChair, 2014. [doi]

Authors

Thibault Gauthier

This author has not been identified. Look up 'Thibault Gauthier' in Google

Cezary Kaliszyk

This author has not been identified. Look up 'Cezary Kaliszyk' in Google

Chantal Keller

This author has not been identified. Look up 'Chantal Keller' in Google

Michael Norrish

This author has not been identified. Look up 'Michael Norrish' in Google
runs on