Logic and Graphs

Bruno Courcelle
1995 Electronical Notes in Theoretical Computer Science  
The lecture is based on a chapter of a forthcoming handbook of graph grammars, edited by G. Rozenberg. This chapter is entitled: \The expression of graph properties and graph transformations in monadic second-order logic".
doi:10.1016/s1571-0661(05)80182-3 fatcat:kbsczdodn5fazjim4pssn3u44a