Search: Higher-Order Modal Logics: Automation And Applications
2015
[1]Higher-Order Modal Logics: Automation and Applications (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Reasoning Web 2015 (Adrian Paschke, Wolfgang Faber, eds.), Springer, LNCS, number 9203, pp. 32-74, 2015. (Url (preprint): http://christoph-benzmueller.de/papers/C46.pdf) [bibtex] [doi]
Powered by bibtexbrowser