Bisimulation Finiteness of Pushdown Systems Is Elementary.

Stefan Göller Pawel Parys

Published in: CoRR (2020)

Keyphrases

data sets
intelligent systems
computer systems
computing systems
systems require
database
machine learning
website
decision trees
image segmentation
relational databases
management system
distributed systems
learning systems
complex systems