Finitely representable databases (Q1376408): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2037381552
@@ Property / OpenAlex ID: W2037381552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Sigma_ 1^ 1\)-formulae on finite structures
@@ Property / cites work: \(\Sigma_ 1^ 1\)-formulae on finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+Datalog extensions for database queries and updates
+Normal rank
@@ Property / cites work @@
+The complexity of elementary algebra and geometry
@@ Property / cites work: The complexity of elementary algebra and geometry / 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 @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918393
@@ Property / cites work: Q4918393 / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary theory of restricted analytic fields with exponentiation
+Normal rank
@@ Property / cites work @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities on finite models
@@ Property / cites work: Probabilities on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-model theory -- A personal perspective
@@ Property / cites work: Finite-model theory -- A personal perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Parity, circuits, and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+Metafinite model theory
@@ Property / cites work: Metafinite model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for recursive data bases
@@ Property / cites work: Completeness results for recursive data bases / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of database queries with intermediate types
+Normal rank
@@ Property / cites work @@
+Algebraic and calculus query languages for recursively typed complex objects
+Normal rank
@@ Property / cites work @@
+Domain independence and the relational calculus
@@ Property / cites work: Domain independence and the relational calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Information Capacity of Simple Relational Database Schemata
+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 @@
+Q4490722
@@ Property / cites work: Q4490722 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexing for data models with constraints and classes
+Normal rank
@@ Property / cites work @@
+Q4694690
@@ Property / cites work: Q4694690 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Queries on Finite Structures Over the Reals
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4694689
@@ Property / cites work: Q4694689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347338
@@ Property / cites work: Q3347338 / rank @@
+Normal rank
@@ Property / cites work @@
+Sentences true in all constructive models
@@ Property / cites work: Sentences true in all constructive models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385512
@@ Property / cites work: Q4385512 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1376408