HOL based First-order Modal Logic Provers (bibtex)
by Christoph Benzmüller, Thomas Raths
Reference:
HOL based First-order Modal Logic Provers (Christoph Benzmüller, Thomas Raths), In Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) (Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov, eds.), Springer, LNCS, volume 8312, pp. 127-136, 2013.
Bibtex Entry:
@inproceedings{C38,
  Address =	 {Stellenbosch, South Africa},
  Author =	 {Christoph Benzm{\"u}ller and Thomas Raths},
  Booktitle =	 {Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)},
  Doi =		 {10.1007/978-3-642-45221-5_9},
  Editor =	 {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov},
  Isbn =	 {978-3-642-45220-8},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal Logics, Automated Reasoning},
  Pages =	 {127-136},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {{HOL} based First-order Modal Logic Provers},
  Url =		 {http://christoph-benzmueller.de/papers/C38.pdf},
  Volume =	 8312,
  Year =	 2013,
}
Powered by bibtexbrowser