32 citations · 40 across the 6 of their papers we have counts for
1 paper · 1 filter
Bartosz Bednarczyk, Witold Charatonik
We consider the satisfiability problem for the two-variable fragment of the first-order logic extended with modulo counting quantifiers and interpreted over finite words or trees.…