32 citations · 40 across the 6 of their papers we have counts for
1 paper · 1 filter
Witold Charatonik, Emanuel Kieroński, Filip Mazowiecki
We consider the satisfiability problem for the two-variable fragment of first-order logic over finite unranked trees. We work with signatures consisting of some unary predicates an…