research
∙
06/30/2022
On the Number of Quantifiers as a Complexity Measure
In 1981, Neil Immerman described a two-player game, which he called the ...
share
research
∙
11/07/2020
