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

@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hadoop
@@ Property / describes a project that uses: Hadoop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Djinn
@@ Property / describes a project that uses: Djinn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gen-O-Fix
@@ Property / describes a project that uses: Gen-O-Fix / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GenProg
@@ Property / describes a project that uses: GenProg / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Apache Spark
@@ Property / describes a project that uses: Apache Spark / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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