MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Resolution and Type Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Presupposition and Abduction in Type Theory
by Peter Krause — 1995 — Siekmann Edinburgh Conference on Computational Logic and Natural Language Processing
… presupposition resolution can be understood as an inferential process using abduction in type theory. First…
Cited by 10 (0 self) – Add To MetaCart

Using Examples to Generate Instantiations for Set Variables
by W. W. Bledsoe — 1983 — Proc. of IJCAI-83
… Q1 = GENERATE *See, for example, Peter B. Andrews, "Resolution in Type Theory", J. Sym. Logic 36…
Cited by 3 (1 self) – Add To MetaCart

Herbrand award acceptance speech
by Peter B. Andrews, Peter B. Andrews\lambda — 2003 — J. Automated Reasoning
… derived the completeness of a rather weak form of resolution for type theory, as well as a cut…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB