Computer Aided Verification
Springer International Publishing
Chapter title |
Verified Compilation of Space-Efficient Reversible Circuits
|
---|---|
Chapter number | 1 |
Book title |
Computer Aided Verification
|
Published in |
arXiv, July 2017
|
DOI | 10.1007/978-3-319-63390-9_1 |
Book ISBNs |
978-3-31-963389-3, 978-3-31-963390-9
|
Authors |
Matthew Amy, Martin Roetteler, Krysta Svore, Krysta M. Svore, Amy, Matthew, Roetteler, Martin, Svore, Krysta M. |
Country | Count | As % |
---|---|---|
United States | 3 | 50% |
Unknown | 3 | 50% |
Type | Count | As % |
---|---|---|
Members of the public | 5 | 83% |
Scientists | 1 | 17% |
Country | Count | As % |
---|---|---|
Unknown | 7 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Other | 1 | 14% |
Student > Bachelor | 1 | 14% |
Student > Ph. D. Student | 1 | 14% |
Researcher | 1 | 14% |
Professor > Associate Professor | 1 | 14% |
Other | 0 | 0% |
Unknown | 2 | 29% |
Readers by discipline | Count | As % |
---|---|---|
Physics and Astronomy | 3 | 43% |
Computer Science | 2 | 29% |
Unknown | 2 | 29% |