Computing on structures (Q4630296): Difference between revisions

@@ Property / cites work @@
+Object identity as a query language primitive
@@ Property / cites work: Object identity as a query language primitive / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204028
@@ Property / cites work: Q3204028 / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural languages for database queries and updates
+Normal rank
@@ Property / cites work @@
+Datalog extensions for database queries and updates
+Normal rank
@@ Property / cites work @@
+Computing with first-order logic
@@ Property / cites work: Computing with first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint logics, relational machines, and computational complexity
+Normal rank
@@ Property / cites work @@
+Computing with infinitary logic
@@ Property / cites work: Computing with infinitary logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+On Moschovakis closure ordinals
@@ Property / cites work: On Moschovakis closure ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / 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 @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic and inductive definability over finite structures
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694685
@@ Property / cites work: Q4694685 / rank @@
+Normal rank
@@ Property / cites work @@
+Stable networks and product graphs
@@ Property / cites work: Stable networks and product graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625129
@@ Property / cites work: Q5625129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203014
@@ Property / cites work: Q3203014 / rank @@
+Normal rank
@@ Property / cites work @@
+The Spectra of First-Order Sentences and Computational Complexity
+Normal rank
@@ Property / cites work @@
+Universal quantifiers and time complexity of random access machines
+Normal rank
@@ Property / cites work @@
+Q3758820
@@ Property / cites work: Q3758820 / rank @@
+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
@@ Property / cites work @@
+Q4035310
@@ Property / cites work: Q4035310 / rank @@
+Normal rank
@@ Property / cites work @@
+On non-determinacy in simple computing devices
@@ Property / cites work: On non-determinacy in simple computing devices / rank @@
+Normal rank
@@ Property / cites work @@
+Upper and lower bounds for first order expressibility
+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 @@
+Turing machines and the spectra of first-order formulas
+Normal rank
@@ Property / cites work @@
+Q4385543
@@ Property / cites work: Q4385543 / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive characterizations of computational complexity
+Normal rank
@@ Property / cites work @@
+Inductive definitions over finite structures
@@ Property / cites work: Inductive definitions over finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of fixed-point queries on binary trees
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902993
@@ Property / cites work: Q3902993 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+What are logical notions?
@@ Property / cites work: What are logical notions? / rank @@
+Normal rank
@@ Property / cites work @@
+Some relationships between logics of programs and complexity theory
+Normal rank