Q5014440 (Q5014440): Difference between revisions

@@ Property / describes a project that uses @@
+HiLog
@@ Property / describes a project that uses: HiLog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5014440