Loading…

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Courcelle, B.
Other Authors: Engelfriet, Joost
Format: Electronic eBook
Language:Inglés
Published: Cambridge, UK ; New York : Cambridge University Press, 2012.
Series:Encyclopedia of mathematics and its applications ; 138.
Subjects:
Online Access:Texto completo