Complexity theory can be viewed as the study of the relationship between...
We develop a behavioural theory of reflective sequential algorithms (RSA...
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...
Second-order transitive-closure logic, SO(TC), is an expressive declarat...