Title of article
An existential locality theorem
Author/Authors
Grohe، نويسنده , , Martin and Wِhrle، نويسنده , , Stefan، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
18
From page
131
To page
148
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
Serial Year
2004
Journal title
Annals of Pure and Applied Logic
Record number
1443579
Link To Document