مرکز منطقه ای اطلاع رساني علوم و فناوري - The first order definability of graphs: Upper bounds for quantifier depth Original Research Article

Title of article :

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

Author/Authors :

Oleg Pikhurko، نويسنده , , Helmut Veith، نويسنده , , Oleg Verbitsky، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2006

Pages :

From page :

2511

To page :

2529

Keywords :

Graph definability , First order logic , Ehrenfeuct game

Journal title :

Discrete Applied Mathematics

Serial Year :

2006

Journal title :

Discrete Applied Mathematics

Record number :

886383

Link To Document :