91 search results - page 3 / 19 » All Things Being Equal |
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
The Revised6 Report on Scheme requires its generic equivalence predicate, equal?, to terminate even on cyclic inputs. While the terminating equal? can be implemented via a DFA-equ...
RTA
2005
Springer
14 years 25 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
IJMTM
2010
13 years 5 months ago
2010
: Product quality receives much attention but means different things to different people depending on their involvement with a product. Product Lifecycle Management (PLM) with its ...
EATCS
2002
13 years 7 months ago
2002
This article introduces three of the twentieth century's main philosophies of mathematics and argues that of those three, one describes mathematical reality, the \reality&quo...
ICDE
1990
IEEE
13 years 11 months ago
1990
IEEE
All previous multicopy algorithms require additional space for redundant information equal to the size of the object being replicated. This paper proposes a new multicopy algorith...