4 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Reinhard Kahle, Isabel Oitavem
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.