AGS 2004 This SEKI Report was internally reviewed by: (901)

Cached

Download Links

by Universität Des Saarlandes , Christoph Benzmüller , Claus-peter Wirth

Active Bibliography

11 Automating access control logics in simple type theory with LEO-II – Christoph Benzmüller - 2008
9 Multimodal and Intuitionistic Logics in Simple Type Theory – C. Benzmüller, L. C. Paulson
1 Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics – Christoph Benzmüller
14 Quantified multimodal logics in simple type theory – Christoph Benzmüller, Lawrence C. Paulson - 2009
A Challenge for Mechanized Deduction – Christoph Benzmüller, Manfred Kerber
2 A Lost Proof – Christoph Benzmüller, Manfred Kerber - 2001
1 Collections, Sets and Types – Gilles Dowek - 1995
18 Higher Order Logic – Daniel Leivant - 1994
2 Simple type theory as framework for combining logics – Christoph Benzmüller - 2010
Model Existence for Higher Order Logic – Christoph Benzmüller, Michael Kohlhase - 2000
71 PROOFS IN HIGHER-ORDER LOGIC – Dale A. Miller - 1983
Completeness Results for . . . – Mark Kaminski - 2006
A Top-down Approach to Combining Logics – Christoph Benzmüller
Complete Cut-Free Tableaux for Equational Simple Type Theory – Chad E. Brown, Gert Smolka - 2009
8 A Structured Set of Higher-Order Problems – Christoph E. Benzmüller, Chad E. Brown - 2005
124 Unification under a mixed prefix – Dale Miller - 1992
2 Verifying the Modal Logic Cube is an Easy Task (for Higher-Order Automated Reasoners) – Christoph Benzmüller, Dedicated To Christoph Walther
3 Combining Logics in Simple Type Theory – Christoph Benzmüller - 2010
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Automating Quantified Conditional Logics in HOL ⇤ – Christoph Benzmüller