|
" Reversible computation : "
Michael Kirkedal Thomsen, Mathias Soeken (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
862313
|
| Main Entry
|
:
|
RC (Workshop : Reversible Computation)(11th :2019 :, Lausanne, Switzerland)
|
| Title & Author
|
:
|
Reversible computation : : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, proceedings /\ Michael Kirkedal Thomsen, Mathias Soeken (eds.).
|
| Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2019.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 11497
|
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
1 online resource (viii, 247 pages) :: illustrations
|
| ISBN
|
:
|
3030215008
|
|
|
:
|
: 9783030215002
|
|
|
:
|
9783030214999
|
| Notes
|
:
|
International conference proceedings.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer logic, Congresses.
|
| Subject
|
:
|
Computer science-- Mathematics, Congresses.
|
| Subject
|
:
|
Reversible computing, Congresses.
|
| Subject
|
:
|
Computer logic.
|
| Subject
|
:
|
Computer science-- Mathematics.
|
| Subject
|
:
|
Reversible computing.
|
| Dewey Classification
|
:
|
004
|
| LC Classification
|
:
|
QA76.9.R48
|
| Added Entry
|
:
|
Soeken, Mathais
|
|
|
:
|
Thomsen, Michael Kirkedal
|
| Parallel Title
|
:
|
RC 2019
|
| |