34 citations · 42 across the 7 of their papers we have counts for
1 paper · 1 filter
Eugenia Ternovska
The central open question in Descriptive Complexity is whether there is a logic that characterizes deterministic polynomial time (PTIME) on relational structures. Towards this goal…