On Completeness of Logic Programs (Q2949713): Difference between revisions

@@ Property / arXiv ID @@
+.3015
@@ Property / arXiv ID: 1411.3015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851550
@@ Property / cites work: Q4851550 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about termination of pure Prolog programs
+Normal rank
@@ Property / cites work @@
+Strong termination of logic programs
@@ Property / cites work: Strong termination of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875865
@@ Property / cites work: Q4875865 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic program synthesis
@@ Property / cites work: Logic program synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318616
@@ Property / cites work: Q4318616 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic + control: An example
@@ Property / cites work: Logic + control: An example / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness and Completeness of Logic Programs
@@ Property / cites work: Correctness and Completeness of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On Completeness of Logic Programs
@@ Property / cites work: On Completeness of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Proving correctness and completeness of normal programs – a declarative approach
+Normal rank
@@ Property / cites work @@
+Inferring non-suspension conditions for logic programs with dynamic scheduling
+Normal rank
@@ Property / cites work @@
+Q3690195
@@ Property / cites work: Q3690195 / rank @@
+Normal rank
@@ Property / cites work @@
+A pearl on SAT and SMT solving in Prolog
@@ Property / cites work: A pearl on SAT and SMT solving in Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+The relation between logic programming and logic specification
+Normal rank
@@ Property / cites work @@
+Transformation of logic programs: Foundations and techniques
+Normal rank
@@ Property / cites work @@
+The Transformational Approach to Program Development
+Normal rank
@@ Property / cites work @@
+The theoretical foundations of LPTP (a logic program theorem prover)
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank