14 search results - page 1 / 3 » fsttcs 2001 |
FSTTCS
2001
Springer
13 years 9 months ago
2001
Springer
FSTTCS
2001
Springer
13 years 9 months ago
2001
Springer
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
This paper has the following goals: – To survey some of the recent developments in the field of derandomization. – To introduce a new notion of time-bounded Kolmogorov complex...
FSTTCS
2001
Springer
13 years 9 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...