Semantic Equivalence of Graph Polynomials Definable in Second Order Logic.

Johann A. Makowsky, Elena V. Ravve

Browse the full WoLLIC paper archive.