First order compiler: A deterministic logic program synthesis algorithm (Q908686): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692876
@@ Property / cites work: Q4692876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773305
@@ Property / cites work: Q3773305 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+A completeness theorem for SLDNF resolution
@@ Property / cites work: A completeness theorem for SLDNF resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919057
@@ Property / cites work: Q3919057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490933
@@ Property / cites work: Q3490933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745245
@@ Property / cites work: Q3745245 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of Logic Programs
@@ Property / cites work: Derivation of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation-as-failure rule for general logic programs with equality
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Making prolog more expressive
@@ Property / cites work: Making prolog more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830520
@@ Property / cites work: Q3830520 / rank @@
+Normal rank
@@ Property / cites work @@
+Making exhaustive search programs deterministic
@@ Property / cites work: Making exhaustive search programs deterministic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:908686