A logical approach to A-Prolog (Q4916215): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of confluent rewriting systems for logic programming and its applications
+Normal rank
@@ Property / cites work @@
+Q4736493
@@ Property / cites work: Q4736493 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808808
@@ Property / cites work: Q4808808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812994
@@ Property / cites work: Q4812994 / rank @@
+Normal rank
@@ Property / cites work @@
+Stable inference as intuitionistic validity
@@ Property / cites work: Stable inference as intuitionistic validity / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789450
@@ Property / cites work: Q4789450 / rank @@
+Normal rank