• Cite/Export
  Cite/Export

  Copy a citation

  APA (6th ed.)

  

  Chicago (Author-Date, 15th ed.)

  

  Harvard (18th ed.)

  

  MLA (7th ed.)

  

  Turabian (6th ed.)

  

  Export a citation

  Export to RefWorks   Export to EndNote / Reference Manager   Export to EasyBib   Cancel

  Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
• Print
• E-mail
  E-mail

  All fields are required.

  The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

  The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

  You may send this item to up to five recipients.

  Enter recipient e-mail address(es): Separate up to five addresses with commas (,)

  The name field is required. Please enter your name.

  Enter your name: The subject field is required. Please enter the subject. Subject:

  The E-mail message field is required. Please enter the message.

  E-mail Message: I thought you might be interested in this item at http://uwashington.worldcat.org/oclc/779740328 Title: Graph structure and monadic second-order logic : a language-theoretic approach Author: B Courcelle; Joost Engelfriet Publisher: Cambridge ; New York : Cambridge University Press, 2012. ISBN/ISSN: 9780521898331 0521898331 OCLC:779740328

  
  Cancel
• Share
• Permalink
  Permalink

  Copy this URL to link to this page:
• Ask Us!

More like this

Subjects

• Logic, Symbolic and mathematical -- Graphic methods.
• MATHEMATICS / Logic.

Similar Items

Graph structure and monadic second-order logic : a language-theoretic approach

Author:	B Courcelle; Joost Engelfriet
Publisher:	Cambridge ; New York : Cambridge University Press, 2012.
Series:	Encyclopedia of mathematics and its applications, v. 138.
Edition/Format:	Book : EnglishView all editions and formats
Summary:	"The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The author not only provides a thorough description of the theory, but also details its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory"--  Read more...