7 citations · 26 across the 17 of their papers we have counts for
1 paper · 2 filters
Isolde Adler, Mark Weyer
We introduce tree-width for first order formulae ϕ, fotw(ϕ). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of form…