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