Andrews, P. B. Resolution in type theory. Journal of Symbolic Logic 36 (1971) 414 -- 432. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Some Uses of Higher-Order Logic - In Computational Linguistics (Correct)
A Treatment of Higher-Order Features in Logic Programming - Nadathur (2003) (4 citations) (Correct)
Uniform Algebras: A Complete semantics for Higher Order Logic .. - DeMarco, Lipton (Correct)
Uniform Algebras: A Complete semantics for the HOHH logic of.. - DeMarco, Lipton (2001) (Correct)
Higher-Order Logic as the Basis for Logic Programming - Nadathur (1989) (25 citations) (Correct)
Higher-order Unification via Explicit Substitutions - Dowek, Hardin, Kirchner (1995) (52 citations) (Correct)
Higher-order Unification via Explicit Substitutions - Dowek, Hardin, Kirchner (1995) (52 citations) (Correct)
Higher-order Unification via Explicit Substitutions.. - Dowek, Hardin, Kirchner (1995) (52 citations) (Correct)
Some Uses of Higher-Order Logic in Computational Linguistics - Miller, Nadathur (1986) (11 citations) (Correct)
Henkin Completeness of Higher-Order Resolution - Benzmüller, Kohlhase (1997) (Correct)
Extensional Higher-Order Paramodulation and RUE-Resolution - Benzmüller (1999) (1 citation) (Correct)
HOL-λσ: an intentional first-order.. - Dowek, Hardin, Kirchner (1999) (1 citation) (Correct)
Proof Normalization for a First-Order Formulation of Higher-Order.. - Dowek (1998) (Correct)
Higher-order Unification via Explicit Substitutions - Dowek, Hardin, Kirchner (1995) (52 citations) (Correct)
Model Existence for Higher Order Logic - Benzmüller, Kohlhase (2000) (Correct)
A Framework for Defining Logics - Harper, Honsell, Plotkin (1987) (380 citations) (Correct)
On Weak and Strong Normalisations - Hongwei Xi Mathematics (1996) (4 citations) (Correct)
An Induction Measure on λ-Terms and Its Applications - Xi (1996) (Correct)
Upper Bounds for Standardizations and an Application - Xi (1999) (3 citations) (Correct)
Theorem Proving Modulo - Dowek, Hardin, Kirchner (1998) (20 citations) (Correct)
Upper Bounds for Standardizations and an Application - Xi (1996) (3 citations) (Correct)
Higher-Order Horn Clauses - Gopalan Nadathur Duke (1990) (35 citations) (Correct)
A Challenge for Mechanized Deduction - Benzmüller, Kerber (Correct)
TPS: A Theorem Proving System for Classical Type Theory - Andrews, Bishop, Issar.. (1994) (43 citations) Self-citation (Andrews) (Correct)
TPS: A Theorem-Proving System for Classical Type Theory - Andrews, Bishop, Issar.. (1996) (43 citations) Self-citation (Andrews) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC