CADE
14 years 1 months ago
1994 Springer CADE
14 years 1 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
14 years 1 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...
CADE
14 years 1 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...
CADE
14 years 1 months ago
1994 Springer |