Nantilus
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...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joost Engelfriet |
| Publié : |
Cambridge, New York :
Cambridge University Press
, cop. 2012 |
| Description matérielle : | 1 vol. (XIV-728 p.) |
| Collection : | Encyclopedia of mathematics and its applications ; 138 |
| Sujets : | |
| Documents associés : | Autre format:
Graph structure and monadic second-order logic |