8 citations · 14 across the 4 of their papers we have counts for
1 paper · 1 filter
Anuj Dawar, Eryk Kopczynski, Bjarki Holm +2
Motivated by the quest for a logic for PTIME and recent insights that the descriptive complexity of problems from linear algebra is a crucial aspect of this problem, we study the s…