1302 search results - page 151 / 261 » Fair Equivalence Relations |
164
click to vote
COMBINATORICS
2004
15 years 5 months ago
2004
In 1958, Richard Guy proved that the number of partitions of n into odd parts greater than one equals the number of partitions of n into distinct parts with no powers of 2 allowed...
146
Voted
ACTA
2000
15 years 5 months ago
2000
The paper refers to the Collatz's conjecture. In the first part, we present some equivalent forms of this conjecture and a slight generalization of a former result from [1]. T...
170
click to vote
GEOINFORMATICA
2000
15 years 5 months ago
2000
: Transportation systems exist to improve individual accessibility. However, emerging applications of GIS in transportation (GIS-T) and intelligent transportation system (ITS) focu...
181
click to vote
ENTCS
2002
15 years 5 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
129
click to vote
MLQ
2000
15 years 5 months ago
2000
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...