Search: Interacting With Modal Logics In The Coq Proof Assistant
2015
[1]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] [doi]
Powered by bibtexbrowser