Title of article :
An existential locality theorem
Author/Authors :
Grohe، نويسنده , , Martin and Wِhrle، نويسنده , , Stefan، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Abstract :
We prove an existential version of Gaifmanʹs locality theorem and show how it can be applied algorithmically to evaluate existential first-order sentences in finite structures.
Keywords :
Finite model theory , descriptive complexity , locality , Existential first-order logic
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
