FSTTCS
2001
Springer
13 years 9 months ago
2001
Springer
For any class C und closed under NC1 reductions, it is shown that all sets complete for C under first-order (equivalently, Dlogtimeuniform AC0 ) reductions are isomorphic under ...
FSTTCS
2001
Springer
13 years 9 months ago
2001
Springer
FSTTCS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...