161
Voted
CADE
15 years 4 months ago
1994 Springer  113
Voted
CADE
15 years 4 months ago
1994 Springer
Abstract. PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements knownformodelelim...
109
Voted
CADE
15 years 4 months ago
1994 Springer 
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
CADE
15 years 4 months ago
1994 Springer
In this paper we investigate the concept of simple termination. A term rewriting system is called simply terminating if its termination can be proved by means of a simpli cation o...
94
Voted
CADE
15 years 4 months ago
1994 Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
|
Logical Reasoning