Bisimilarity of Pushdown Systems is Nonelementary

Michael Benedikt Stefan Göller Stefan Kiefer Andrzej S. Murawski

Published in: CoRR (2012)

Keyphrases

management system
expert systems
retrieval systems
information systems
database systems
information technology
trade off
evolutionary algorithm
computational intelligence
distributed systems
complex systems
systems require