Complexity theory can be viewed as the study of the relationship between...
The polylogarithmic time hierarchy structures sub-linear time complexity...
We introduce a restricted second-order logic SO^plog
for finite structur...
We propose a logical characterization of problems solvable in determinis...
Let SO^plog denote the restriction of second-order
logic, where second-o...