Year: 2007
2007
[15]The LEO-II Project (Christoph Benzmüller), Omega-Ultra-Texmacs Mini Workshop, Saarbrücken, Germany, 2007.
[14]The LEO-II Project (Christoph Benzmüller), Deduktionstreffen, Koblenz, Germany, 2007.
[13]The LEO-II Project (Christoph Benzmüller), Automated Reasoning Workshop, London, UK, 2007.
[12]Progress Report on LEO-II: An Automatic Theorem Prover for Higher-Order Logic (Christoph Benzmüller), Automated Reasoning Group Lunch Talk, The University of Cambridge, UK, 2007. (slides)
[11]Progress Report on LEO-II: An Automatic Theorem Prover for Higher-Order Logic (Christoph Benzmüller), TPHOLs, Kaiserslautern, Germany, 2007. (slides)
[10](Invited) Challenges for Automated Theorem Proving in Classical Higher Order Logics (Christoph Benzmüller), Heriot-Watt University, Edinburgh, Scotland, 2007.
[9](Invited) Challenges for Automated Theorem Proving in Classical Higher Order Logics (Christoph Benzmüller), University of St. Andrews, St. Andrews, Scotland, 2007. (slides)
[8](Invited) Challenges for Automated Theorem Proving in Classical Higher Order Logics (Christoph Benzmüller), The University of Edinburgh, Scotland, 2007.
[7](Invited tutorial) Semantics of Higher-Order Logics (Christoph Benzmüller), Invited Lecture Course at ITU Copenhagen, Denmark, 2007. (slides)
[6](Invited) Effiziente Automatisierung von Logik höherer Stufe ---- realisierbarer Traum oder ewiger Albtraum? (Christoph Benzmüller), Inaugural Lecture (Privatdozent) at Saarland University, Germany, 2007.
[5]Deep Inference for Automated Proof Tutoring (poster) (Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier), KI, 2007. (poster)
[4]LEO-II, A Higher-Order Theorem Prover (poster) (Christoph Benzmüller), TPHOLs, 2007. (poster)
[3]The LEO-II Project (poster) (Christoph Benzmüller), University of Cambridge Project Poster, 2007. (poster)
[2]The LEO-II Project (poster) (Christoph Benzmüller), Deduktionstreffen, 2007. (poster)
[1]Term Indexing for the LEO-II Prover (poster) (Frank Theiss, Christoph Benzmüller), Deduktionstreffen, 2007.
Powered by bibtexbrowser