4 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Thomas Seiller
This paper exhibits a series of semantic characterisations of sublinear nondeterministic complexity classes. These results fall into the general domain of logic-based approaches to…