Graph structure and monadic second-order logic. A language-theoretic approach.

Graph structure and monadic second-order logic. A language-theoretic approach.

Bruno Courcelle, Joost Engelfriet

Published: Apr 21, 2017

Description:

Computer Science [cs]/Logic in Computer Science [cs.LO]