Pushdown Systems for Monotone Frameworks.

Michal Terepeta Hanne Riis Nielson Flemming Nielson

Published in: CoRR (2013)

Keyphrases

knowledge based systems
social networks
multiscale
systems require
databases
information retrieval
management system
computing systems
database
real time
real world
computer vision
search algorithm
distributed systems