C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata.
Yuya Uezato
Yasuhiko Minamide
Published in:
DLT (2016)
Keyphrases
</>
cellular automata
regular expressions
finite state
model checking
finite state machines
database
genetic algorithm
artificial intelligence
multi agent
data model
finite automata
finite state automata
lattice gas