C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.
Shibashis Guha
Ismaël Jecker
Karoliina Lehtinen
Martin Zimmermann
Published in:
MFCS (2021)
Keyphrases
</>
situation calculus
information systems
cellular automata
data mining
database systems
state space
finite state
bit vector