Notions of locality and their logical characterizations over finite models (Q4948541): Difference between revisions

@@ Property / author @@
-Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
-Normal rank
@@ Property / author @@
+Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2586810
@@ Property / full work available at URL: https://doi.org/10.2307/2586810 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1976218595
@@ Property / OpenAlex ID: W1976218595 / 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 quantifiers, successor relations, and logarithmic space
+Normal rank
@@ Property / cites work @@
+Query languages for bags and aggregate functions
@@ Property / cites work: Query languages for bags and aggregate functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342495
@@ Property / cites work: Q4342495 / rank @@
+Normal rank
@@ Property / cites work @@
+On uniformity within \(NC^ 1\)
@@ Property / cites work: On uniformity within \(NC^ 1\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301150
@@ Property / cites work: Q4301150 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical hierarchies in PTIME
@@ Property / cites work: Logical hierarchies in PTIME / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the Herbrand Symposium. Logic Colloquium '81, held in Marseille, France, July 1981
+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 @@
+On winning Ehrenfeucht games and monadic NP
@@ Property / cites work: On winning Ehrenfeucht games and monadic NP / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and pebble games on finite structures
+Normal rank