68 search results - page 6 / 14 » Mathematical Induction in Otter-Lambda |
APPINF
2003
13 years 9 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ā...
ACMSE
2009
ACM
14 years 2 months 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...
LATA
2009
Springer
14 years 2 months 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...
ISSAC
2005
Springer
14 years 1 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...
MPC
2004
Springer
14 years 1 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...