A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Logic and Graphs
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