Does anyone have a recommendation for a book to use for the self study of logic of graphs?
I am interested in the following topics:
- Data compression and graph isomorphism. Logical depth of a graph.
- Get efficient algorithms out of FOL expressions
- Courcelle's theorem
- Machine learning / AI
- Computer science (algorithmic) point of view