![](/img/cover-not-exists.png)
[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms
Dramnesc, Isabela, Jebelean, Tudor, Stratulat, SorinYear:
2015
Language:
english
DOI:
10.1109/synasc.2015.30
File:
PDF, 197 KB
english, 2015