Some techniques for proving termination of the hyperresolution calculus (Q861692): Difference between revisions

@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive unit hyperresolution tableaux and their application to minimal model generation
+Normal rank
@@ Property / cites work @@
+Termination of logic programs: the never-ending story
+Normal rank
@@ Property / cites work @@
+Hyperresolution and automated model building
@@ Property / cites work: Hyperresolution and automated model building / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution methods for the decision problem
@@ Property / cites work: Resolution methods for the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809060
@@ Property / cites work: Q4809060 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperresolution for guarded formulae
@@ Property / cites work: Hyperresolution for guarded formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Using resolution for testing modal satisfiability and building models
+Normal rank
@@ Property / cites work @@
+Resolution Strategies as Decision Procedures
@@ Property / cites work: Resolution Strategies as Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+A strong version of Herbrand's theorem for introvert sentences
+Normal rank
@@ Property / cites work @@
+Q3142019
@@ Property / cites work: Q3142019 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249898
@@ Property / cites work: Q4249898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430633
@@ Property / cites work: Q4430633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+SHR Tableaux -- A Framework for Automated Model Generation
+Normal rank