Christoph Benzmüller, Bruno Woltzenlogel Paleo. Higher-Order Modal Logics: Automation and Applications. In Wolfgang Faber, Adrian Paschke, editors, Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures. Volume 9203 of Lecture Notes in Computer Science, pages 32-74, Springer, 2015. [doi]
No reviews for this publication, yet.