The dimension of the negation of transitive closure (Q4842619): Difference between revisions

@@ Property / cites work @@
+A programming language for the inductive sets, and applications
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / rank @@
+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 @@
+Eventual periodicity and ``one-dimensional'' queries
+Normal rank
@@ Property / cites work @@
+Parametrization over inductive relations of a bounded number of variables
+Normal rank
@@ Property / cites work @@
+Some restrictions on simple fixed points of the integers
+Normal rank
@@ Property / cites work @@
+Application of model theoretic games to discrete linear orders and finite automata
+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 @@
+Number of quantifiers is better than number of tape cells
+Normal rank