Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(87)90027-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2041182895
@@ Property / OpenAlex ID: W2041182895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3960112
@@ Property / cites work: Q3960112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3220555
@@ Property / cites work: Q3220555 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3947092
@@ Property / cites work: Q3947092 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698262
@@ Property / cites work: Q3698262 / rank @@
+Normal rank
@@ Property / cites work @@
+An Evaluation Based Theorem Prover
@@ Property / cites work: An Evaluation Based Theorem Prover / rank @@
+Normal rank
@@ Property / cites work @@
+A formal notion of program-based test data adequacy
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522915
@@ Property / cites work: Q5522915 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Q3673087
@@ Property / cites work: Q3673087 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of data dependencies
@@ Property / cites work: On the expressive power of data dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216138
@@ Property / cites work: Q3216138 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Q5509669
@@ Property / cites work: Q5509669 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic analogues of McAloon's unique Rosser sentences
+Normal rank
@@ Property / cites work @@
+Polynomials with Rational Coefficients Which are Hard to Compute
+Normal rank
@@ Property / cites work @@
+Q5815606
@@ Property / cites work: Q5815606 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause computability
@@ Property / cites work: Horn clause computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700870
@@ Property / cites work: Q3700870 / rank @@
+Normal rank