Logic + control: On program construction and verification (Q4603427): Difference between revisions

@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4978
@@ Property / arXiv ID: 1110.4978 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic methodology and software technology. 4th international conference, AMAST '95, Montreal, Canada, July 3--7, 1995. Proceedings
+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 @@
+SICStus Prolog—The first 25 years
@@ Property / cites work: SICStus Prolog—The first 25 years / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods of declarative properties of definite programs
+Normal rank
@@ Property / cites work @@
+Q4875865
@@ Property / cites work: Q4875865 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic + control: An example
@@ Property / cites work: Logic + control: An example / 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 @@
+Correctness and Completeness of Logic Programs
@@ Property / cites work: Correctness and Completeness of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On definite program answers and least Herbrand models
+Normal rank
@@ Property / cites work @@
+Proving completeness of logic programs with the cut
+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 @@
+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 @@
+Algorithm = logic + control
@@ Property / cites work: Algorithm = logic + control / rank @@
+Normal rank
@@ Property / cites work @@
+<tt>Polytool</tt>: Polynomial interpretations as a basis for termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Verification of logic programs
@@ Property / cites work: Verification of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of terminating logic programs
@@ Property / cites work: Classes of terminating logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP
+Normal rank
@@ Property / OpenAlex ID @@
+W2963114687
@@ Property / OpenAlex ID: W2963114687 / rank @@
+Normal rank