Extensional Higher-Order Resolution

13 years 8 months ago

Download www.ags.uni-sb.de

Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principles

Christoph Benzmüller, Michael Kohlhase

Real-time Traffic

CADE 1998 | Logical Reasoning | Long-standing Conjecture | Model Semantics | Practical Applicability |

claim paper

» Program Logics for Sequential HigherOrder Control

» Abstract Semantics for a HigherOrder Functional Language with Logic Variables

» A novel approach makes higher order wavelets really efficient for radiosity

» An Extended Phase Field HigherOrder Active Contour Model for Networks and Its Application ...

» Extended Phase Field HigherOrder Active Contour Models for Networks Its Application to Ro...

» Extensional Collapse Situations I nontermination and unrecoverable errors

» Extensional Reasoning

» A Comprehensive Framework for Combined Decision Procedures

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1998
Where	CADE
Authors	Christoph Benzmüller, Michael Kohlhase

Comments (0)

Sciweavers

Extensional Higher-Order Resolution

CADE 1998 | Logical Reasoning | Long-standing Conjecture | Model Semantics | Practical Applicability |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers