Searching for "Extensional Higher-Order Resolution." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Extensional higher-order resolution
- …Extensional Higher-Order Resolution Christoph Benzmüller and Michael Kohlhase Fachbereich…
- Cited by 11 (7 self) – Add To MetaCart
-
A Calculus and a System Architecture for Extensional Higher-Order Resolution
- …A Calculus and a System Architecture for Extensional Higher-Order Resolution Christoph Benzmuller…
- Cited by 8 (5 self) – Add To MetaCart
-
Equality and Extensionality in Automated Higher-Order Theorem Proving
- … and Extensional Higher-Order Resolution . . . . . . . . . . . . . . . . . 8 1.5 Adding Primitive Equality…
- Cited by 12 (9 self) – Add To MetaCart
-
An Adaptation of Paramodulation and RUE-Resolution to Higher-Order Logic
- … RUE-resolution idea. Contents 1 Introduction 2 2 Higher-Order Logic 4 3 Extensional Higher-Order…
- Add To MetaCart
-
The LEO-II Project
- … assistant for classical higher-order logic based on the extensional higher-order resolution calculus…
- Add To MetaCart
-
System description: LEO – a resolution based higher-order theorem prover
- … resolution based theorem prover for classical higher-order logic. Leo is based on extensional higher-order…
- Cited by 4 (4 self) – Add To MetaCart
-
Progress Report on LEO-II - An Automatic Theorem Prover for Higher-Order Logic
- … on extensional higher-order resolution. The cooperation of Leo-II with other specialist provers is discussed…
- Cited by 2 (2 self) – Add To MetaCart
-
THF0 – The Core TPTP Language for Classical Higher-Order Logic
- … on extensional higher-order resolution, are LEO [?] and LEO-II [5]. Michael Beeson’s Otter-λ [?] is an extension…
- Cited by 4 (3 self) – Add To MetaCart
-
Cumulative Habilitation Script Faculty 6- Natural Sciences and Technology I
- …%] C. Benzmüller. Extensional Higher-Order Paramodulation and RUE- Resolution. CADE-16, no.1632 in LNAI…
- Add To MetaCart
Showing 1 through 9.
