An Existential Locality Theorem

  • Martin Grohe
  • Stefan Wöhrle
Conference paper

DOI: 10.1007/3-540-44802-0_8

Volume 2142 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Grohe M., Wöhrle S. (2001) An Existential Locality Theorem. In: Fribourg L. (eds) Computer Science Logic. CSL 2001. Lecture Notes in Computer Science, vol 2142. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Martin Grohe
    • 1
  • Stefan Wöhrle
    • 2
  1. 1.Laboratory for Foundations of Computer ScienceUniversity of EdinburghEdinburghScotland, UK
  2. 2.Lehrstuhl für Informatik VIIRWTH AachenAachenGermany