Year: 2009
[4]Automating Quantified Multimodal Logics in HOL --- My very first Region Connection Calculus Prover (Christoph Benzmüller), AAAI 2009 Spring Symposia, Stanford, USA, 2009.
[3]Handover of the Festschrift to Peter B. Andrews (Christoph Benzmüller), CADE-22, Montreal, Canada, 2009.
[2]Automating Access Control Logics in Simple Type Theory with LE0-II (Christoph Benzmüller), 24th IFIP International Information Security Conference, Pafos, Cyprus, 2009. (slides)
[1]Granularity-Adaptive Proof Presentation (poster) (Marvin Schiller, Christoph Benzmüller), AIED, 2009. (poster)
Powered by bibtexbrowser