MSO Decidability of Multi-Pushdown Systems via Split-Width.

Aiswarya Cyriac Paul Gastin K. Narayan Kumar

Published in: CONCUR (2012)

Keyphrases

distributed systems
learning systems
complex systems
artificial intelligence
computer systems
database
databases
data mining
computer vision
information systems
e learning
description logics
finite state