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. (Url (preprint): http://christoph-benzmueller.de/papers/C44.pdf)

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}, Note = {Url (preprint): \url{http://christoph-benzmueller.de/papers/C44.pdf}}, Volume = 9139, Year = 2015, }

Powered by bibtexbrowser