Genetic programming \(+\) proof search \(=\) automatic improvement (Q682376): Difference between revisions

@@ Property / cites work @@
+Q4845469
@@ Property / cites work: Q4845469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477935
@@ Property / cites work: Q3477935 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependently Typed Programming in Agda
@@ Property / cites work: Dependently Typed Programming in Agda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+A Methodology for LISP Program Construction from Examples
+Normal rank
@@ Property / cites work @@
+Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Provable isomorphisms of types
@@ Property / cites work: Provable isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Software Engineering
@@ Property / cites work: Categories for Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Finger trees: a simple general-purpose data structure
+Normal rank