Language and Automata Theory and Applications
Springer International Publishing
Chapter title |
Proof–Based Synthesis of Sorting Algorithms for Trees
|
---|---|
Chapter number | 43 |
Book title |
Language and Automata Theory and Applications
|
Published in |
Lecture notes in computer science, February 2016
|
DOI | 10.1007/978-3-319-30000-9_43 |
Book ISBNs |
978-3-31-929999-0, 978-3-31-930000-9
|
Authors |
Isabela Drămnesc, Tudor Jebelean, Sorin Stratulat, Drămnesc, Isabela, Jebelean, Tudor, Stratulat, Sorin |
Country | Count | As % |
---|---|---|
Unknown | 4 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Other | 1 | 25% |
Unknown | 3 | 75% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 25% |
Unknown | 3 | 75% |