Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Graph Operations and Monadic Second-Order Logic: A Survey

Graph Operations and Monadic Second-Order Logic: A Survey

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1955/2000
BookLogic for Programming and Automated Reasoning
DOI10.1007/3-540-44404-1
Copyright2000
ISBN978-3-540-41285-4
DOI10.1007/3-540-44404-1_2
Pages697-707
Subject CollectionComputer Science
SpringerLink DateSaturday, January 01, 2000
Add to marked items

Graph Operations and Monadic Second-Order Logic: A Survey

Bruno Courcelle5 Contact Information

(5)  LaBRI (CNRS, UMR 5800), Université Bordeaux-I, 351 cours de la Libération, 33405 Talence, France
Abstract
We handle finite graphs in two ways, as relational structures on the one hand, and as algebraic objects, i.e., as elements of algebras, based on graph operations on the other.
This research is supported by the European Community Training and Mobility in Research network GETGRATS.

Contact Information Bruno Courcelle
Email: courcell@labri.u-bordeaux.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.108 • Server: mpweb16
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)