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.

Proof-Based Synthesis of Sorting Algorithms for Trees

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Proof-Based Synthesis of Sorting Algorithms for Trees. In Adrian Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Volume 9618 of Lecture Notes in Computer Science, pages 562-575, Springer, 2016. [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