مرکز منطقه ای اطلاع رساني علوم و فناوري - Second-Order Logic over Finite Structures

Title of article :

Second-Order Logic over Finite Structures – Report on a Research Programme

Author/Authors :

Gottlob، نويسنده , , Georg، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

second-order logic over finite structures

Journal title :

Electronic Notes in Discrete Mathematics

Serial Year :

2006

Journal title :

Electronic Notes in Discrete Mathematics

Record number :

1454475

Link To Document :