External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. In Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. pages 137-144, IEEE, 2015. [doi]

Authors

Isabela Dramnesc

This author has not been identified. Look up 'Isabela Dramnesc' in Google

Tudor Jebelean

This author has not been identified. Look up 'Tudor Jebelean' in Google

Sorin Stratulat

This author has not been identified. It may be one of the following persons: Look up 'Sorin Stratulat' in Google
runs on