Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat,
"Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial Techniques"
, in Journal of Symbolic Computation, Vol. 90, Elsevier, Seite(n) 3-41, 2018, ISSN: 1095-855X
Original Titel:
Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial Techniques
Forschungs-