Joost Engelfriet: 1 book
Graph Structure and Monadic Second-Order Logic
A Language-Theoretic Approach
Language: English
Release Date: June 14, 2012
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 this...
