Proving completeness of logic programs with the cut (Q511027): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-016-0392-0
@@ Property / DOI: 10.1007/s00165-016-0392-0 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2289914401
@@ Property / OpenAlex ID: W2289914401 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08778
@@ Property / arXiv ID: 1602.08778 / rank @@
+Normal rank
@@ Property / cites work @@
+The witness properties and the semantics of the  Prolog cut
+Normal rank
@@ Property / cites work @@
+Reasoning about termination of pure Prolog programs
+Normal rank
@@ Property / cites work @@
+Automated termination analysis for logic programs with cut
+Normal rank
@@ Property / cites work @@
+Strong termination of logic programs
@@ Property / cites work: Strong termination of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Simple operational and denotational semantics for Prolog with cut
+Normal rank
@@ Property / cites work @@
+Proof methods of declarative properties of definite programs
+Normal rank
@@ Property / cites work @@
+Inductive assertion method for logic pograms
@@ Property / cites work: Inductive assertion method for logic pograms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875865
@@ Property / cites work: Q4875865 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving correctness and completeness of normal programs – a declarative approach
+Normal rank
@@ Property / cites work @@
+Q4318616
@@ Property / cites work: Q4318616 / 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 @@
+Comparative semantics for prolog with cut
@@ Property / cites work: Comparative semantics for prolog with cut / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for Prolog with Cut – Revisited
@@ Property / cites work: Semantics for Prolog with Cut – Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998267
@@ Property / cites work: Q3998267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and goal-independent denotational semantics for Prolog with cut
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130853227
@@ Property / Wikidata QID: Q130853227 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-016-0392-0
@@ Property / DOI: 10.1007/S00165-016-0392-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:511027