Inproceedings,

Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates.

, , , and .
ICALP (2), volume 6756 of Lecture Notes in Computer Science, page 368-379. Springer, (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews