2932 search results - page 5 / 587 » Higher order mining |
JAR
2008
13 years 7 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
BIRTHDAY
2004
Springer
14 years 14 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
AMCS
2008
13 years 7 months ago
2008
CORR
2008
Springer
13 years 5 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
ICDM
2006
IEEE
14 years 1 months ago
2006
IEEE