Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat,
"Combinatorial Techniques for Proof-based Synthesis of Sorting Algorithms"
: The 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015
Original Titel:
Combinatorial Techniques for Proof-based Synthesis of Sorting Algorithms
Sprache des Titels:
Englisch
Original Buchtitel:
The 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing