书目名称 | Reversible Computation |
副标题 | 11th International C |
编辑 | Michael Kirkedal Thomsen,Mathias Soeken |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019..The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.. |
出版日期 | Conference proceedings 2019 |
关键词 | artificial intelligence; linear logic; logic synthesis; programming languages; quantum circuit; quantum c |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-030-21500-2 |
isbn_softcover | 978-3-030-21499-9 |
isbn_ebook | 978-3-030-21500-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer Nature Switzerland AG 2019 |