The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Bruno Courcelle
Search publications for: doi:10.1016/0890-5401(90)90043-H 1 result
The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
Bruno Courcelle