Cargando…

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

"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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Courcelle, B.
Otros Autores: Engelfriet, Joost
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, UK ; New York : Cambridge University Press, 2012.
Colección:Encyclopedia of mathematics and its applications ; 138.
Temas:
Acceso en línea:Texto completo