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.

Reducing CMSO Model Checking to Highly Connected Graphs

Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh 0001, Meirav Zehavi. Reducing CMSO Model Checking to Highly Connected Graphs. In Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella, editors, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. Volume 107 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Daniel Lokshtanov

This author has not been identified. Look up 'Daniel Lokshtanov' in Google

M. S. Ramanujan

This author has not been identified. Look up 'M. S. Ramanujan' in Google

Saket Saurabh 0001

This author has not been identified. Look up 'Saket Saurabh 0001' in Google

Meirav Zehavi

This author has not been identified. Look up 'Meirav Zehavi' in Google
runs on