collaborators

1 paper

cs.CC2025

Dichotomy for orderings?

Gábor Kun, Jaroslav Nešetřil

Fagin defined the class by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-…