Graph structure and monadic second-order logic : a language-theoretic approach
By: Courcelle, Bruno.
Contributor(s): Engelfriet, Joost.
Material type: BookSeries: Encyclopedia Of Mathematics And Its Applications No.138. Publisher: Cambridge Cambridge University Press 2012Description: xiv, 728p.ISBN: 9780521898331.Subject(s): Logic, Symbolic and mathematical -- Graphic methodsDDC classification: 511.3 | C833gItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 511.3 C833g (Browse shelf) | Book Request | Available | A176114 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
511.3 C734 THE THEORY OF ULTRAFILTERS | 511.3 C739 COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC | 511.3 C76 TRUTH, SYNTAX AND MODALITY | 511.3 C833g Graph structure and monadic second-order logic | 511.3 C844 LOGIC IN ALGEBRAIC FORM | 511.3 D28dE PETRI NETS AND GRAFCET | 511.3 D81 THE DECISION PROBLEM |
There are no comments for this item.