2 search results - page 1 / 1 » Boundedness of Monadic FO over Acyclic Structures |
68
Voted
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
We study the boundedness problem for monadic least fixed points as a decision problem. While this problem is known to be undecidable in general and even for syntactically very res...
120
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...