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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-017-9409-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2594171547
@@ Property / OpenAlex ID: W2594171547 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q64956725
@@ Property / Wikidata QID: Q64956725 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+journals/jar/KocsisS18
@@ Property / DBLP publication ID: journals/jar/KocsisS18 / rank @@
+Normal rank