3333 search results - page 19 / 667 » Abstract Proof Search |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
AISC
2004
Springer
14 years 3 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
ACG
2009
Springer
14 years 4 months ago
2009
Springer
GECCO
1999
Springer
14 years 1 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the