Showing results 1 to 2 of 2
Local equivalence of directed graphs and monadic second-order logic = 유향그래프의 국지적 동등과 단항 이차 논리link Cho, Ju-hyun; 조주현; et al, 한국과학기술원, 2010 |
Vertex-minors, monadic second-order logic, and a conjecture by Seese Courcelle, B; Oum, Sang-il, JOURNAL OF COMBINATORIAL THEORY SERIES B, v.97, no.1, pp.91 - 126, 2007-01 |
Discover