Filter your results
- 8
- 6
- 2
- 8
- 2
- 3
- 1
- 2
- 2
- 8
- 5
- 4
- 4
- 4
- 4
- 1
- 8
- 6
- 5
- 3
- 3
- 2
- 1
- 1
- 1
8 Results
|
|
sorted by
|
|
Proof–based Synthesis of Sorting Algorithms for Trees140th International Conference on Language and Automata Theory and Applications (LATA 2016), Mar 2016, Prague, Czech Republic. pp.562-575, ⟨10.1007/978-3-319-30000-9_43⟩
Conference papers
hal-01590645v1
|
||
|
Theory Exploration of Binary Trees13th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2015, Sep 2015, Subotica, Serbia. pp.139-144
Conference papers
hal-01235173v1
|
||
|
Experiments with Automated Reasoning in the ClassCICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩
Conference papers
hal-03781994v1
|
||
|
Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial TechniquesJournal of Symbolic Computation, 2019, 90, pp.3-41. ⟨10.1016/j.jsc.2018.04.002⟩
Journal articles
hal-01590654v1
|
||
|
ARC: An Educational Project on Automated Reasoning in the ClassEdMedia + Innovate Learning 2022 - AACE Conferences, Jun 2022, New York, United States
Conference papers
hal-03900003v1
|
||
|
A Case Study on Algorithm Discovery from Proofs: The Insert Function on Binary TreesSACI 2016: 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, May 2016, Timisoara, Romania
Conference papers
hal-01590637v1
|
||
|
Combinatorial Techniques for Proof-Based Synthesis of Sorting AlgorithmsSYNASC 2015: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2015, Timisoara, Romania
Conference papers
hal-01590633v1
|
||
|
Automated Reasoning in the ClassComputer-Algebra-Rundbrief, 2022, 71, pp.21-26
Journal articles
hal-03886685v1
|