FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends (bibtex)
by Christoph Benzmüller, Thomas Raths
Reference:
FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends (Christoph Benzmüller, Thomas Raths), Technical report, Freie Universität Berlin, Germany, 2012. (arXiv:1207.6685)
Bibtex Entry:
@techreport{R53,
  Author =	 {Christoph Benzm{\"u}ller and Thomas Raths},
  Institution =	 {Freie Universit{\"at} Berlin, Germany},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated Reasoning,
                  Semantic Embedding, Modal Logics},
  Note =	 {arXiv:1207.6685},
  Title =	 {{FMLtoHOL} (version 1.0): Automating First-order
                  Modal Logics with {LEO-II} and Friends},
  Url =		 {http://arxiv.org/abs/1207.6685},
  Year =	 2012,
}
Powered by bibtexbrowser