Transformations of logic programs on infinite lists (Q3585155): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4157
@@ Property / arXiv ID: 1007.4157 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs
+Normal rank
@@ Property / cites work @@
+A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic programming
@@ Property / cites work: Temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Unfold/fold transformation of stratified programs
@@ Property / cites work: Unfold/fold transformation of stratified programs / rank @@
+Normal rank
@@ Property / cites work @@
+BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
+Normal rank
@@ Property / OpenAlex ID @@
+W2157162154
@@ Property / OpenAlex ID: W2157162154 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3585155