Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2020.100635
@@ Property / DOI: 10.1016/j.jlamp.2020.100635 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.01747
@@ Property / arXiv ID: 1909.01747 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of list algorithms by mechanical proving
+Normal rank
@@ Property / cites work @@
+Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
+Normal rank
@@ Property / cites work @@
+Theorema 2.0: Computer-Assisted Natural-Style Mathematics
+Normal rank
@@ Property / cites work @@
+Theorema 2.0: A System for Mathematical Theory Exploration
+Normal rank
@@ Property / cites work @@
+From program verification to program synthesis
@@ Property / cites work: From program verification to program synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+A synthesis of several sorting algorithms
@@ Property / cites work: A synthesis of several sorting algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on ''A synthesis of several sorting algorithms''
+Normal rank
@@ Property / cites work @@
+Derivation of Sorting Algorithms from a Specification
+Normal rank
@@ Property / cites work @@
+Proof–Based Synthesis of Sorting Algorithms for Trees
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive synthesis of sorting programs
@@ Property / cites work: Deductive synthesis of sorting programs / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Deductive Synthesis of Lisp Programs in the System ALISA
+Normal rank
@@ Property / cites work @@
+An approach to automatic deductive synthesis of functional programs
+Normal rank
@@ Property / cites work @@
+Rippling: Meta-Level Guidance for Mathematical Reasoning
+Normal rank
@@ Property / cites work @@
+Q3690194
@@ Property / cites work: Q3690194 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751543
@@ Property / cites work: Q2751543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416408
@@ Property / cites work: Q3416408 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5699466
@@ Property / cites work: Q5699466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2020.100635
@@ Property / DOI: 10.1016/J.JLAMP.2020.100635 / rank @@
+Normal rank