[Back]


Contributions to Proceedings:

B. Woltzenlogel-Paleo et al.:
"Higher-Order Modal Logics: Automation and Applications";
in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin", 9203; Springer LNCS, 2015, ISBN: 978-3-319-21768-0, 32 - 74.



Electronic version of the publication:
http://www.springer.com/de/book/9783319217673


Created from the Publication Database of the Vienna University of Technology.