A necessary condition for constructive negation in constraint logic programming (Q294756): Difference between revisions

@@ Property / author @@
-Enrico Pontelli
@@ Property / author: Enrico Pontelli / rank @@
-Normal rank
@@ Property / author @@
+Enrico Pontelli
@@ Property / author: Enrico Pontelli / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6594089
@@ Property / zbMATH DE Number: 6594089 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic theorem proving
@@ Property / zbMATH Keywords: automatic theorem proving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+programming languages
@@ Property / zbMATH Keywords: programming languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal semantics
@@ Property / zbMATH Keywords: formal semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint logic programming
@@ Property / zbMATH Keywords: constraint logic programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constructive negation
@@ Property / zbMATH Keywords: constructive negation / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57840355
@@ Property / Wikidata QID: Q57840355 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+A transformational approach to negation in logic programming
+Normal rank
@@ Property / cites work @@
+{log}: A language for programming in logic with finite sets
+Normal rank
@@ Property / cites work @@
+Q4264105
@@ Property / cites work: Q4264105 / rank @@
+Normal rank
@@ Property / cites work @@
+What is failure? An approach to constructive negation
+Normal rank
@@ Property / cites work @@
+Constructive negation by pruning
@@ Property / cites work: Constructive negation by pruning / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
+Normal rank
@@ Property / cites work @@
+Making prolog more expressive
@@ Property / cites work: Making prolog more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750391
@@ Property / cites work: Q5750391 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation and constraint logic programming
@@ Property / cites work: Negation and constraint logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567863
@@ Property / cites work: Q5567863 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:294756