On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs

Bulletin of the Section of Logic, Tom 35, Numer 4 (2006) s. 195-214
Haroldo G. Benatti, Ruy J.G.B. de Queiroz

 

do góry