Login / Signup
Fixed Point Characterization of Büchi Automata on Infinite Trees.
André Arnold
Damian Niwinski
Published in:
J. Inf. Process. Cybern. (1990)
Keyphrases
</>
fixed point
tree automata
sufficient conditions
regular expressions
dynamical systems
belief propagation
finite automata
fixed point theorem
finite state
floating point
database
variational inequalities
three dimensional
differential equations
free energy
bargaining solution