The Leo-III Project (bibtex)
by Max Wisniewski, Alexander Steen, Christoph Benzmüller
Reference:
The Leo-III Project (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In Joint Automated Reasoning Workshop and Deduktionstreffen (Alexander Bolotov, Manfred Kerber, eds.), pp. 38, 2014.
Bibtex Entry:
@inproceedings{W53,
  Author =	 {Max Wisniewski and Alexander Steen and Christoph
                  Benzm\"uller},
  Booktitle =	 {Joint Automated Reasoning Workshop and
                  Deduktionstreffen},
  Editor =	 {Alexander Bolotov and Manfred Kerber},
  Keywords =	 {own, LEO Prover, Automated Reasoning, Proof
                  Transformation, Higher OrderLogic},
  Pages =	 38,
  Title =	 {The {Leo-III} Project},
  Url =		 {http://christoph-benzmueller.de/papers/W53.pdf},
  Year =	 2014,
}
Powered by bibtexbrowser