Q5014440 (Q5014440): Difference between revisions

@@ Property / cites work @@
+Q4783309
@@ Property / cites work: Q4783309 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
+Normal rank
@@ Property / cites work @@
+Extensional Higher-Order Logic Programming
@@ Property / cites work: Extensional Higher-Order Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+HiLog: A foundation for higher-order logic programming
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Higher-Order Logic
@@ Property / cites work: Programming with Higher-Order Logic / rank @@
+Normal rank