DMCA

MSO decidability of Multi-Pushdown Systems via Split-Width (2012)

Cached

Download Links

by Aiswarya Cyriac , Paul Gastin , K. Narayan Kumar
Citations:15 - 4 self