76 citations · 138 across the 15 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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(…
math.CO2014★ 4 cited
Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
Martin Otto
We propose a novel construction of finite hypergraphs and relational structures that is based on reduced products with Cayley graphs of groupoids. To this end we construct groupoid…