Equivalences of Pushdown Systems Are Hard.

Published in: FoSSaCS (2014)

Keyphrases

management system
real time
decision trees
search algorithm
neural network
bayesian networks
information technology
computer systems
complex systems
computing systems