The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability

From MaRDI portal
(Redirected from Publication:1176232)