EasyChair Publications
Search
Paper Information
Paper:Christoph Benzmüller and Nik Sultana
LEO-II Version 1.5
Title:LEO-II Version 1.5
Authors:Christoph Benzmüller and Nik Sultana
Keyphrases:higher order logic, simple type theory, automatic theorem provers, prover cooperation, resolution
Paper:
Abstract:LEO-II cooperates with other theorem-provers to prove theorems in classical higher-order logic. It returns hybrid proofs, containing inferences made by LEO-II as well as the backend provers with which it cooperates. This article describes recent improvements made to LEO-II.
Volume:Jasmin Christian Blanchette and Josef Urban (editors). PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Series:EPiC Series in Computing
Volume number:14
Pages:2-10
Editors:Jasmin Christian Blanchette and Josef Urban
Page views:40
Downloads:31
BibTeX entry:
@inproceedings{PxTP2013:LEO-II_Version_1_5,
  author    = {Christoph Benzm\verb=\="uller and Nik Sultana},
  title     = {LEO-II Version 1.5},
  booktitle = {PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving},
  editor    = {Jasmin Christian Blanchette and Josef Urban},
  series    = {EPiC Series in Computing},
  volume    = {14},
  pages     = {2-10},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}