Finite Variable Logics in Descriptive Complexity Theory (Q4254565): Difference between revisions

@@ Property / cites work @@
+Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4219291
@@ Property / cites work: Q4219291 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+An analysis of fixed-point queries on binary trees
+Normal rank
@@ Property / cites work @@
+Infinitary logics and 0-1 laws
@@ Property / cites work: Infinitary logics and 0-1 laws / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint logics, relational machines, and computational complexity
+Normal rank
@@ Property / cites work @@
+Infinitary logic and inductive definability over finite structures
+Normal rank
@@ Property / cites work @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+Normal rank
@@ Property / cites work @@
+Generalized Quantifiers and Logical Reducibilities
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Random Graph Isomorphism
@@ Property / cites work: Random Graph Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+How to define a linear order on finite models
@@ Property / cites work: How to define a linear order on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4313087
@@ Property / cites work: Q4313087 / rank @@
+Normal rank
@@ Property / cites work @@
+Almost Everywhere Equivalence of Logics in Finite Model Theory
+Normal rank
@@ Property / cites work @@
+Logical hierarchies in PTIME
@@ Property / cites work: Logical hierarchies in PTIME / rank @@
+Normal rank
@@ Property / cites work @@
+An optimal lower bound on the number of variables for graph identification
+Normal rank
@@ Property / cites work @@
+Definability hierarchies of generalized quantifiers
+Normal rank
@@ Property / cites work @@
+A zero-one law for logic with a fixed-point operator
+Normal rank
@@ Property / cites work @@
+Fixed-point extensions of first-order logic
@@ Property / cites work: Fixed-point extensions of first-order logic / rank @@
+Normal rank