Beagle as a HOL4 external ATP method (bibtex)
by Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish
Reference:
Beagle as a HOL4 external ATP method (Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish), In PAAR-2014 - 4th Workshop on Practical Aspects of Automated Reasoning, EasyChair, volume 31, 2014.
Bibtex Entry:
@InProceedings{conf/paar/GauthierKKN14,
  author =       {Thibault Gauthier and
                  Cezary Kaliszyk and
                  Chantal Keller and
                  Michael Norrish},
  title =        {Beagle as a {HOL4} external {ATP} method},
  booktitle =    {PAAR-2014 - 4th Workshop on Practical Aspects of Automated Reasoning},
  year =         2014,
  series    = {EPiC Series in Computing},
  volume    = 31,
  publisher = {EasyChair},
  month =        jul,
  pages     = {50--59}
}
Powered by bibtexbrowser