TCS
2002
13 years 11 months ago
2002
TCS
2002
13 years 11 months ago
2002
TCS
2002
13 years 11 months ago
2002
We show that the coding of a rotation by on m intervals can be recoded over m Sturmian words of angle . c 2002 Elsevier Science B.V. All rights reserved.
TCS
2002
13 years 11 months ago
2002
We define a coding of natural numbers
TCS
2002
13 years 11 months ago
2002
The first example of an absolutely normal number was given by Sierpinski in 1916, twenty years before the concept of computability was formalized. In this note we give a recursive...
TCS
2002
13 years 11 months ago
2002
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...
TCS
2002
13 years 11 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
TCS
2002
13 years 11 months ago
2002
DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications...
TCS
2002
13 years 11 months ago
2002