TY  - GEN
AB  - This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses.
AU  - Devitt, Simon,
AU  - Lanese, Ivan,
CN  - QA76.9.L63
DO  - 10.1007/978-3-319-40578-0
DO  - doi
ID  - 756248
KW  - Reversible computing
KW  - Computer logic
KW  - Computer science.
KW  - Logic design.
KW  - Programming languages (Electronic computers)
KW  - Computers.
KW  - Algorithms.
KW  - Computer logic.
KW  - Quantum computers.
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-40578-0
N1  - International conference proceedings.
N2  - This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses.
SN  - 9783319405780
SN  - 3319405780
T1  - Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
TI  - Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-40578-0
VL  - 9720
ER  -