2 search results - page 1 / 1 » Boundedness of Monadic FO over Acyclic Structures |
117
click to vote
ICALP
2007
Springer
16 years 10 days 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...
192
click to vote
LICS
2006
IEEE
16 years 6 days 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...