10 citations · 37 across the 29 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012
Pebble games with algebraic rules
Anuj Dawar, Bjarki Holm
We define a general framework of partition games for formulating two-player pebble games over finite structures. We show that one particular such game, which we call the invertible…
cs.LO2012★ 8 cited
Definability of linear equation systems over groups and rings
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…