16 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 16 cited
Decidability Results for the Boundedness Problem
Achim Blumensath, Martin Otto, Mark Weyer
We prove decidability of the boundedness problem for monadic least fixed-point recursion based on positive monadic second-order (MSO) formulae over trees. Given an MSO-formula phi(…
cs.LO2012★ 7 cited
Tree-width for first order formulae
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…