Bisimulation Finiteness of Pushdown Systems Is Elementary.

Stefan Göller Pawel Parys

Published in: LICS (2020)

Keyphrases

management system
databases
case study
learning systems
real time
data mining
multimedia
database systems
data structure
evolutionary algorithm
data model
computational intelligence
distributed systems
computer systems