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...
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 |
Ejemplares similares
-
Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007) -
Mathematical logic in the 20th century /
Publicado: (2003) -
Mathematical logic in the 20th century /
Publicado: (2003) -
Collected works.
por: Gödel, Kurt
Publicado: (1986) -
Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)