(Invited tutorial) Higher-Order Modal Logics: Automation and Applications. Benzmüller, C. & Woltzenlogel Paleo, B. Reasoning Web Summer School, 2015.
bibtex   
@Book{Course31,
  keywords =	 {teaching,lecture course},
  author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo, Bruno},
  title =	 {(Invited tutorial) Higher-Order Modal Logics: Automation and Applications},
  publisher =	 {Reasoning Web Summer School},
  year =	 2015,
  annote =	 {<a href="http://page.mi.fu-berlin.de/cbenzmueller/papers/2015-RW-Tutorial.pdf">slides</a>},
}

Downloads: 0