13 citations · 17 across the 16 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.…