11949 search results - page 174 / 2390 » Some results on (a:b)-choosability |
107
click to vote
JSYML
2002
15 years 1 months ago
2002
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...
JUCS
2002
15 years 1 months ago
2002
: We study additive distances and quasi-distances between words. We show that every additive distance is finite. We then prove that every additive quasi-distance is regularity-pres...
MOC
1998
15 years 1 months ago
1998
In this paper we consider various multi-component splittings based on the trapezoidal rule and the implicit midpoint rule. It will be shown that an important requirement on such me...
100
click to vote
NETWORKS
2002
15 years 1 months ago
2002
The n-dimensional augmented cube, denoted as AQn, a variation of the hypercube, possesses some properties superior to those of the hypercube. In this paper, we show that every ver...
ORL
2002
15 years 1 months ago
2002
We derive the waiting-time distribution of a discrete-time multiserver queue with correlated arrivals and deterministic (or constant) service times. We show that the procedure for...