Reachability of scope-bounded multistack pushdown systems.

Salvatore La Torre Margherita Napoli Gennaro Parlato

Published in: Inf. Comput. (2020)

Keyphrases

databases
database systems
distributed systems
neural network
real world
image sequences
bayesian networks
expert systems
information technology
evolutionary algorithm
knowledge based systems
complex systems
communication systems
systems require