The first order definability of graphs: Upper bounds for quantifier depth

Oleg Pikhurko, Helmut Veith, Oleg Verbitsky. The first order definability of graphs: Upper bounds for quantifier depth. Discrete Applied Mathematics, 154(17):2511-2529, 2006. [doi]

Authors

Oleg Pikhurko

This author has not been identified. Look up 'Oleg Pikhurko' in Google

Helmut Veith

This author has not been identified. Look up 'Helmut Veith' in Google

Oleg Verbitsky

This author has not been identified. Look up 'Oleg Verbitsky' in Google