Hardness Results for Coverability Problem of Well-Structured Pushdown Systems.

Chunmiao Li Xiaojuan Cai

Published in: LATA (2017)

Keyphrases

distributed systems
neural network
management system
learning systems
database
special case
computer systems
computing systems
real world
computer vision
image processing
multimedia
decision trees
computational complexity
digital libraries
information theoretic