Record: found
Abstract: not found
Book Chapter: not found

MSO Decidability of Multi-Pushdown Systems via Split-Width

other

Author(s): Aiswarya Cyriac , Paul Gastin , K. Narayan Kumar

Publication date (Print): 2012

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 15

Record: found
Abstract: not found
Article: not found

Upper bounds to the clique width of graphs

Bruno Courcelle, Stephan Olariu (2000)

0 comments Cited 118 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Handle-rewriting hypergraph grammars

Bruno Courcelle, Joost Engelfriet, Grzegorz Rozenberg (1993)

0 comments Cited 52 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Adding nesting structure to words

Rajeev Alur, P. Madhusudan (2009)

0 comments Cited 45 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 547-561

DOI: 10.1007/978-3-642-32940-1_38

SO-VID: 8856fae8-326a-40a3-875a-dd85ee946857

History

Data availability:

MSO Decidability of Multi-Pushdown Systems via Split-Width

Read this book at

Related collections

Socioecological systems

Most cited references 15

Upper bounds to the clique width of graphs

Handle-rewriting hypergraph grammars

Adding nesting structure to words

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,930

Cited by 12