Danièle Beauquier
Danièle Beauquier and Damian Niwi\'nski.
Automata on infinite trees with counting constraints.
Information and Computation
, 120(1):117-125, July 1995.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database