Interacting with Modal Logics in the Coq Proof Assistant (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
Interacting with Modal Logics in the Coq Proof Assistant (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings (Lev D. Beklemishev, Daniil V. Musatov, eds.), Springer, LNCS, volume 9139, pp. 398--411, 2015.
Bibtex Entry:
@inproceedings{C44,
  Author =	 {Christoph Benzm{\"{u}}ller and Woltzenlogel Paleo, Bruno},
  Booktitle =	 {Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings},
  Doi =		 {10.1007/978-3-319-20297-6_25},
  Editor =	 {Lev D. Beklemishev and Daniil V. Musatov},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology Reasoning, LEO Prover, Higher Order Logic, Computational Metaphysics},
  Pages =	 {398--411},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Interacting with Modal Logics in the {Coq} Proof Assistant},
  Url =		 {http://christoph-benzmueller.de/papers/C44.pdf},
  Volume =	 9139,
  Year =	 2015,
}
Powered by bibtexbrowser