Graph structure and monadic second order logic
Courcelle Bruno
Graph structure and monadic second order logic Bruno Courcelle - Cambridge c2012 - xiv,728p
9780521898331
519.17 COU
Graph structure and monadic second order logic Bruno Courcelle - Cambridge c2012 - xiv,728p
9780521898331
519.17 COU