Boundedness of Monadic FO over Acyclic Structures.

Stephan Kreutzer, Martin Otto, Nicole Schweikardt

Browse the full ICALP paper archive.