Understanding LEO-II's Proofs

Sultana, Nik; Benzmüller, Christoph

doi:10.29007/x9c9

by Nik Sultana, Christoph Benzmüller

Reference:

Understanding LEO-II's Proofs (Nik Sultana, Christoph Benzmüller), In IWIL 2012 (Konstantin Korovin, Stephan Schulz, Eugenia Ternovska, eds.), EasyChair, EPiC Series in Computing, volume 22, pp. 33-52, 2013.

Bibtex Entry:

@inproceedings{W47,
  Address =	 {Merida, Venezuela},
  Author =	 {Nik Sultana and Christoph Benzm{\"u}ller},
  Booktitle =	 {IWIL 2012},
  Editor =	 {Konstantin Korovin and Stephan Schulz and Eugenia
                  Ternovska},
  issn =	 {2398-7340},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning, Henkin Semantics, System Integration},
  Pages =	 {33-52},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {Understanding {LEO-II's} Proofs},
  Url =
                  {http://www.easychair.org/publications/?page=572811915},
  Volume =	 22,
  Year =	 2013,
  Doi =		 {10.29007/x9c9},
}