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

Author and book information

Book

ISBN: 9780511977619

Publication date (Print): 2012

Publication date (Online): 2009

DOI: 10.1017/CBO9780511977619

SO-VID: 63434c2a-b016-4898-86bb-64d1b7cd03da

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 15

Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs
Authors: Mamadou Kanté, Lhouari Nourine
Decidable verification of uninterpreted programs
Authors: Umang Mathur, P. Madhusudan, Mahesh Viswanathan
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems
Authors: Muhammad Khan, Dimitrios Serpanos, Howard Shrobe

See all cited by

Graph Structure and Monadic Second-Order Logic

Read this book at