External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Higher-Order Modal Logics: Automation and Applications

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]

Authors

Christoph Benzmüller

This author has not been identified. Look up 'Christoph Benzmüller' in Google

Bruno Woltzenlogel Paleo

This author has not been identified. Look up 'Bruno Woltzenlogel Paleo' in Google
runs on