C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.
Matthew Hague
Roland Meyer
Sebastian Muskalla
Martin Zimmermann
Published in:
MFCS (2018)
Keyphrases
</>
management system
model checking
machine learning
decision making
computational complexity
expert systems
complex systems
database
information retrieval
multi agent
search algorithm
mobile devices
special case
computer systems
error correction
computing systems