13 citations · 15 across the 12 of their papers we have counts for
1 paper · 2 filters
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.…