Logic program synthesis from first-order logic specifications (Q1314418): Difference between revisions

@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Derivation of Logic Programs
@@ Property / cites work: Derivation of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038669
@@ Property / cites work: Q4038669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287480
@@ Property / cites work: Q4287480 / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence preserving first order unfold/fold transformation system
+Normal rank
@@ Property / cites work @@
+First order compiler: A deterministic logic program synthesis algorithm
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)90202-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2005372520
@@ Property / OpenAlex ID: W2005372520 / rank @@
+Normal rank