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