About the Effect of the Number of Successful Paths in an Infinite Tree on the Recognizability by a Finite Automaton with Bchi Conditions.

Danile Beauquier, Maurice Nivat, Damian Niwinski

Browse the full FCT paper archive.