MFCS
2000
Springer
14 years 7 months ago
2000
Springer
Abstract. We show how duality properties and geometric considerations are used in studies related to virtual path layouts of ATM networks. We concentrate on the one-to-many problem...
MFCS
2000
Springer
14 years 7 months ago
2000
Springer
Abstract. We consider the iterates of bilinear functions over the semiring (max, +). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (...
MFCS
2000
Springer
14 years 7 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
MFCS
2000
Springer
14 years 7 months ago
2000
Springer
We show that AI
MFCS
2000
Springer
14 years 7 months ago
2000
Springer
MFCS
2000
Springer
14 years 7 months ago
2000
Springer
MFCS
2000
Springer
14 years 7 months ago
2000
Springer
We introduce explicit fusions of names. To `fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with som...
MFCS
2000
Springer
14 years 7 months ago
2000
Springer
Abstract. A binary sequence A = A(0)A(1) . . . is called infinitely often (i.o.) Turing-autoreducible if A is reducible to itself via an oracle Turing machine that never queries it...
MFCS
2000
Springer
14 years 7 months ago
2000
Springer
MFCS
2000
Springer
14 years 7 months ago
2000
Springer