TY  - GEN
N2  - This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
DO  - 10.1007/978-3-030-52
AB  - This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
T1  - Reversible computation :12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /
DA  - 2020.
CY  - Cham :
AU  - Lanese, Ivan.
AU  - Rawski, Mariusz.
VL  - 12227
CN  - QA76.9.R48
PB  - Springer,
PP  - Cham :
PY  - 2020.
N1  - International conference proceedings.
N1  - "This volume contains the papers presented at the 12th Conference on Reversible Computation (RC 2020), held during July 9-10, 2020, online due to the COVID-19 pandemic, while initially expected to take place virtually in Oslo, Norway[...]"-- Preface.
N1  - Includes author index.
ID  - 938985
KW  - Reversible computing
KW  - Computer science
KW  - Computer logic
SN  - 9783030524821
SN  - 3030524825
TI  - Reversible computation :12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-52482-1
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-52482-1
ER  -