Login / Signup
A New Logical Characterization of Büchi Automata.
Giacomo Lenzi
Published in:
STACS (2001)
Keyphrases
</>
cellular automata
regular expressions
finite automata
logical reasoning
probabilistic automata
finite state
logical properties
data sets
databases
neural network
information retrieval
artificial intelligence
reinforcement learning
pattern matching
finite state automata
lattice gas