68 search results - page 6 / 14 » Mathematical Induction in Otter-Lambda |
136
click to vote
APPINF
2003
15 years 7 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanā...
163
click to vote
ACMSE
2009
ACM
16 years 16 days ago
2009
ACM
An algorithm is proposed for the purpose of optimizing the availability of files to an operating system prior to their being required during execution by a running system. This al...
160
click to vote
LATA
2009
Springer
16 years 24 days ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
116
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
We deļ¬ne a class of special function inequalities that contains many classical examples, such as the Cauchy-Schwarz inequality, and introduce a proving procedure based on induct...
152
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Generic functions are deļ¬ned by induction on the structural representation of types. As a consequence, by deļ¬ning just a single generic operation, one acquires this o...