54
Voted
TCS
2002
15 years 10 days ago
2002
84
Voted
TCS
2002
15 years 10 days ago
2002
We de ne an in nite array A of nonnegative integers based on a linear recurrence, whose second row provides basis elements of an exotic ternary numeration system. Using the numerat...
TCS
2002
15 years 10 days ago
2002
102
Voted
TCS
2002
15 years 10 days ago
2002
We study the relationship between a computably enumerable real and its presentations: ways of approximating the real by enumerating a prefix-free set of binary strings.
46
Voted
TCS
2002
15 years 10 days ago
2002
84
Voted
TCS
2002
15 years 10 days ago
2002
The chords' problem is a variant of an old problem of computational geometry: given a set of points of n , one can easily build the multiset of the distances between the poi...
58
Voted
TCS
2002
15 years 10 days ago
2002
95
Voted
TCS
2002
15 years 10 days ago
2002
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
105
click to vote
TCS
2002
15 years 10 days ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...