Extending \(H_1\)-clauses with disequalities (Q1944188): 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.1016/j.ipl.2011.07.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2000550348
@@ Property / OpenAlex ID: W2000550348 / 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 @@
+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 @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank