32 citations · 78 across the 16 of their papers we have counts for
1 paper · 1 filter
Oleg Pikhurko, Helmut Veith, Oleg Verbitsky
We say that a first order formula A distinguishes a graph G from another graph G' if A is true on G and false on G'. Provided G and G' are non-isomorphic, let D(G,G') denote the mi…