\(\Delta\)-languages for sets and LOGSPACE computable graph transformers (Q1392148): Difference between revisions

@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3800030
@@ Property / cites work: Q3800030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817599
@@ Property / cites work: Q3817599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713561
@@ Property / cites work: Q3713561 / rank @@
+Normal rank
@@ Property / cites work @@
+Query languages for hierarchic databases
@@ Property / cites work: Query languages for hierarchic databases / rank @@
+Normal rank
@@ Property / cites work @@
+Local class field theory
@@ Property / cites work: Local class field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071232
@@ Property / cites work: Q4071232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085724
@@ Property / cites work: Q4085724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable query languages for complex object databases
+Normal rank
@@ Property / cites work @@
+Evolving Algebras 1993: Lipari Guide
@@ Property / cites work: Evolving Algebras 1993: Lipari Guide / 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 @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830533
@@ Property / cites work: Q3830533 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressiveness of a family of finite set languages
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625138
@@ Property / cites work: Q5625138 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of formulas in set theory
@@ Property / cites work: A hierarchy of formulas in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Strengthening of the theorems on polynomial queries
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A logical-functional approach to data bases
@@ Property / cites work: A logical-functional approach to data bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902993
@@ Property / cites work: Q3902993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900044
@@ Property / cites work: Q3900044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3927239
@@ Property / cites work: Q3927239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4207895
@@ Property / cites work: Q4207895 / rank @@
+Normal rank
@@ Property / cites work @@
+The collection principle and the existential quantifier
+Normal rank
@@ Property / cites work @@
+Q3829550
@@ Property / cites work: Q3829550 / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditarily-finite sets, data bases and polynomial-time computability
+Normal rank
@@ Property / cites work @@
+On equivalence between polynomial constructivity of Markov's principle and \(P=NP\)
+Normal rank
@@ Property / cites work @@
+Q4474864
@@ Property / cites work: Q4474864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815544
@@ Property / cites work: Q3815544 / rank @@
+Normal rank