Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin. Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates. In Luca Aceto, Monika Henzinger, Jiri Sgall, editors, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Volume 6756 of Lecture Notes in Computer Science, pages 368-379, Springer, 2011. [doi]

This author has not been identified. Look up 'Matthew Anderson' in GoogleThis author has not been identified. Look up 'Dieter van Melkebeek' in GoogleThis author has not been identified. Look up 'Nicole Schweikardt' in GoogleThis author has not been identified. Look up 'Luc Segoufin' in Google

runs on WebDSL