TY - BOOK AU - Yamashita,Shigeru AU - Minato,Shin-ichi ED - SpringerLink (Online service) TI - Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783319084947 AV - QA76.9.L63 U1 - 621.395 23 PY - 2014/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computer Science KW - Logic design KW - Software engineering KW - Computer files KW - Computer software KW - Logic Design KW - files KW - Computation by Abstract Devices KW - Algorithm Analysis and Problem Complexity KW - Software Engineering KW - Computer Science, general N1 - Automata for reversible computation -- Notation and languages for reversible computation -- Synthesis and optimization for reversible circuits -- Validation and representation of quantum logic N2 - This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on automata for reversible computation; notation and languages for reversible computation; synthesis and optimization for reversible circuits; validation and representation of quantum logic UR - http://dx.doi.org/10.1007/978-3-319-08494-7 ER -