Unfold/fold transformations of logic programs (Q4015152): Difference between revisions

@@ Property / author @@
-Q195657
@@ Property / author: Q195657 / rank @@
-Normal rank
@@ Property / author @@
+John C. Shepherdson
@@ Property / author: John C. Shepherdson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of Logic Programs
@@ Property / cites work: Derivation of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Synthesis: Dreams → Programs
@@ Property / cites work: Synthesis: Dreams → Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and reasoning in program synthesis
@@ Property / cites work: Knowledge and reasoning in program synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4015152