On Infinite Transition Graphs Having a Decidable Monadic Theory.

Didier Caucal

Browse the full ICALP paper archive.