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 / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6684505
@@ Property / zbMATH DE Number: 6684505 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logic programming
@@ Property / zbMATH Keywords: logic programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cut
@@ Property / zbMATH Keywords: cut / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+operational semantics
@@ Property / zbMATH Keywords: operational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program completeness
@@ Property / zbMATH Keywords: program completeness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program correctness
@@ Property / zbMATH Keywords: program correctness / 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