Crossing the Syntactic Barrier: Hom-Disequalities for ${\mathcal H}_1$-Clauses (Q2914718): Difference between revisions

@@ Property / cites work @@
+The HOM problem is decidable
@@ Property / cites work: The HOM problem is decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding \(\mathcal H_1\) by resolution
@@ Property / cites work: Deciding \(\mathcal H_1\) by resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4411948
@@ Property / cites work: Q4411948 / rank @@
+Normal rank
@@ Property / cites work @@
+Bottom-Up Tree Automata with Term Constraints
@@ Property / cites work: Bottom-Up Tree Automata with Term Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945246
@@ Property / cites work: Q4945246 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending \(H_1\)-clauses with disequalities
@@ Property / cites work: Extending \(H_1\)-clauses with disequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Extending ${\cal H}_1$ -Clauses with Path Disequalities
+Normal rank
@@ Property / cites work @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank