Finite queries do not have effective syntax. (Q1854305): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.1999.2792
+Normal rank
@@ Property / OpenAlex ID @@
+W2049709040
@@ Property / OpenAlex ID: W2049709040 / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
+Normal rank
@@ Property / cites work @@
+Q5596785
@@ Property / cites work: Q5596785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3780509
@@ Property / cites work: Q3780509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202941
@@ Property / cites work: Q4202941 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5730894
@@ Property / cites work: Q5730894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5517667
@@ Property / cites work: Q5517667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638297
@@ Property / cites work: Q5638297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347338
@@ Property / cites work: Q3347338 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for database dependencies
@@ Property / cites work: The decision problem for database dependencies / rank @@
+Normal rank