Game-based notions of locality over finite models (Q2478544): Difference between revisions

@@ Property / cites work @@
+Verifiable properties of database transactions
@@ Property / cites work: Verifiable properties of database transactions / rank @@
+Normal rank
@@ Property / cites work @@
+Counting quantifiers, successor relations, and logarithmic space
+Normal rank
@@ Property / cites work @@
+Q4353557
@@ Property / cites work: Q4353557 / rank @@
+Normal rank
@@ Property / cites work @@
+Data exchange: semantics and query answering
@@ Property / cites work: Data exchange: semantics and query answering / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-Parameter Tractability, Definability, and Model-Checking
+Normal rank
@@ Property / cites work @@
+Q5611004
@@ Property / cites work: Q5611004 / rank @@
+Normal rank
@@ Property / cites work @@
+An existential locality theorem
@@ Property / cites work: An existential locality theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical hierarchies in PTIME
@@ Property / cites work: Logical hierarchies in PTIME / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of locality and their logical characterizations over finite models
+Normal rank
@@ Property / cites work @@
+Logics with aggregate operators
@@ Property / cites work: Logics with aggregate operators / rank @@
+Normal rank
@@ Property / cites work @@
+Shrinking games and local formulas
@@ Property / cites work: Shrinking games and local formulas / rank @@
+Normal rank
@@ Property / cites work @@
+A local normal form theorem for infinitary logic with unary quantifiers
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and pebble games on finite structures
+Normal rank
@@ Property / cites work @@
+Logics with counting and local properties
@@ Property / cites work: Logics with counting and local properties / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for invariant queries in logics with counting.
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On winning strategies with unary quantifiers
@@ Property / cites work: On winning strategies with unary quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Counting modulo quantifiers on finite structures
@@ Property / cites work: Counting modulo quantifiers on finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381395
@@ Property / cites work: Q4381395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284545
@@ Property / cites work: Q5284545 / rank @@
+Normal rank
@@ Property / cites work @@
+Unary quantifiers on finite models
@@ Property / cites work: Unary quantifiers on finite models / rank @@
+Normal rank