RTA
1998
Springer
13 years 11 months ago
1998
Springer
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
RTA
1998
Springer
13 years 11 months ago
1998
Springer
RTA
1998
Springer
13 years 11 months ago
1998
Springer
We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the fragment of i...
RTA
1998
Springer
13 years 11 months ago
1998
Springer
RTA
1998
Springer
13 years 11 months ago
1998
Springer
RELMICS
1998
Springer
13 years 11 months ago
1998
Springer
RELMICS
1998
Springer
13 years 11 months ago
1998
Springer
RELMICS
1998
Springer
13 years 11 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
RANDOM
1998
Springer
13 years 11 months ago
1998
Springer
Suppose we sequentially throw m balls into n bins. It is a natural question to ask for the maximum number of balls in any bin. In this paper we shall derive sharp upper and lower b...
RANDOM
1998
Springer
13 years 11 months ago
1998
Springer
There has been a significant amount of research lately on solving the edge disjoint path and related problems on expander graphs. We review the random walk approach of Broder, Fri...