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 BeauquierMaurice NivatDamian Niwinski
Published in: FCT (1991)
Keyphrases
  • sufficient conditions
  • small number
  • relational databases
  • database
  • tree structure