1 paper · 1 filter
Gábor Kun, Jaroslav NeÅ¡etÅil
Fagin defined the class NP by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-…