Extending Constructive Logic Negation with Types (Q4982631): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.07.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2016620039
@@ Property / OpenAlex ID: W2016620039 / rank @@
+Normal rank
@@ Property / cites work @@
+A bottom-up polymorphic type inference in logic programming
+Normal rank
@@ Property / cites work @@
+A transformational approach to negation in logic programming
+Normal rank
@@ Property / cites work @@
+Type analysis of prolog using type graphs
@@ Property / cites work: Type analysis of prolog using type graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Negation Using Abstract Interpretation
@@ Property / cites work: Efficient Negation Using Abstract Interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic type system for Prolog
@@ Property / cites work: A polymorphic type system for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Negation and constraint logic programming
@@ Property / cites work: Negation and constraint logic programming / rank @@
+Normal rank