Fast algorithms for testing unsatisfiability of ground Horn clauses with equations (Q1100933): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending SLD resolution to equational horn clauses using E-unification
+Normal rank
@@ Property / cites work @@
+Q4764112
@@ Property / cites work: Q4764112 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive First-Order Logic Is NP-Complete
@@ Property / cites work: Positive First-Order Logic Is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Reasoning About Recursively Defined Data Structures
+Normal rank
@@ Property / cites work @@
+Efficiency of a Good But Not Linear Set Union Algorithm
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0747-7171(87)80067-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2033598071
@@ Property / OpenAlex ID: W2033598071 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1100933