Expressibility of Higher Order Logics (Q4924534): Difference between revisions

@@ Property / cites work @@
+Q4321931
@@ Property / cites work: Q4321931 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable queries for relational data bases
@@ Property / cites work: Computable queries for relational data bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Metafinite model theory
@@ Property / cites work: Metafinite model theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of database queries with intermediate types
+Normal rank
@@ Property / cites work @@
+Expressibility of Higher Order Logics
@@ Property / cites work: Expressibility of Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798297
@@ Property / cites work: Q3798297 / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive characterizations of computational complexity
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank