TY  - GEN
N2  - This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.
DO  - 10.1007/978-3-030-79837-6
DO  - doi
AB  - This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.
T1  - Reversible computation :13th international conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
AU  - Yamashita, Shigeru
AU  - Yokoyama, Tetsuo,
VL  - 12805
CN  - QA76.9.R48
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 1437638
KW  - Reversible computing
KW  - Computer science
KW  - Computer logic
KW  - Calcul réversible
KW  - Informatique
KW  - Logique informatique
SN  - 9783030798376
SN  - 3030798372
TI  - Reversible computation :13th international conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-79837-6
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-79837-6
ER  -