Applications of Synchronized Pushdown Systems.

Johannes Späth

Published in: Denert Award (2019)

Keyphrases

databases
image processing
expert systems
knowledge based systems
complex systems
web pages
multimedia
trade off
management system
intelligent systems
access control
model checking