Login / Signup
About the Effect of the Number of Successful Paths in an Infinite Tree on the Recognizability by a Finite Automaton with Büchi Conditions.
Danièle Beauquier
Maurice Nivat
Damian Niwinski
Published in:
FCT (1991)
Keyphrases
</>
sufficient conditions
small number
relational databases
database
tree structure