External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

MSO Decidability of Multi-Pushdown Systems via Split-Width

Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar. MSO Decidability of Multi-Pushdown Systems via Split-Width. In Maciej Koutny, Irek Ulidowski, editors, CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Volume 7454 of Lecture Notes in Computer Science, pages 547-561, Springer, 2012. [doi]

Authors

Aiswarya Cyriac

This author has not been identified. Look up 'Aiswarya Cyriac' in Google

Paul Gastin

This author has not been identified. Look up 'Paul Gastin' in Google

K. Narayan Kumar

This author has not been identified. Look up 'K. Narayan Kumar' in Google
runs on