|
9
|
Automating access control logics in simple type theory with LEO-II
– Christoph Benzmüller
- 2008
|
|
7
|
Multimodal and Intuitionistic Logics in Simple Type Theory
– C. Benzmüller, L. C. Paulson
|
|
|
Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics
– Christoph Benzmüller
|
|
11
|
Quantified multimodal logics in simple type theory
– Christoph Benzmüller, Lawrence C. Paulson
- 2009
|
|
|
A Challenge for Mechanized Deduction
– Christoph Benzmüller, Manfred Kerber
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
2
|
A Lost Proof
– Christoph Benzmüller, Manfred Kerber
- 2001
|
|
1
|
Collections, Sets and Types
– Calcul Symbolique, Gilles Dowek, Gilles Dowek, Projet Coq
- 1995
|
|
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
|
|
63
|
PROOFS IN HIGHER-ORDER LOGIC
– Dale A. Miller
- 1983
|
|
|
Completeness Results for . . .
– Mark Kaminski
- 2006
|
|
109
|
Unification under a mixed prefix
– Dale Miller
- 1992
|
|
5
|
A Structured Set of Higher-Order Problems
– Christoph E. Benzmüller, Chad E. Brown
- 2005
|
|
1
|
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
|
|
2
|
Course Notes in Typed Lambda Calculus
– Thierry Coquand
- 1998
|
|
10
|
Extensional higher-order resolution
– Christoph Benzmüller, Michael Kohlhase
- 1998
|
|
3
|
Intensional Models for the Theory of Types ∗
– Reinhard Muskens
- 2006
|
