Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selecte...

Full description

Bibliographic Details
Other Authors: Kari, Jarkko (Editor), Ulidowski, Irek (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2018, 2018
Edition:1st ed. 2018
Series:Programming and Software Engineering
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 01957nmm a2200385 u 4500
001 EB001846173
003 EBX01000000000000001010678
005 00000000000000.0
007 cr|||||||||||||||||||||
008 180901 ||| eng
020 |a 9783319994987 
100 1 |a Kari, Jarkko  |e [editor] 
245 0 0 |a Reversible Computation  |h Elektronische Ressource  |b 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings  |c edited by Jarkko Kari, Irek Ulidowski 
250 |a 1st ed. 2018 
260 |a Cham  |b Springer International Publishing  |c 2018, 2018 
300 |a XIII, 353 p. 132 illus  |b online resource 
505 0 |a Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications 
653 |a Computer Communication Networks 
653 |a Compilers (Computer programs) 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Software Engineering 
653 |a Artificial Intelligence 
653 |a Computer networks  
653 |a Logic design 
653 |a Artificial intelligence 
653 |a Logic Design 
700 1 |a Ulidowski, Irek  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Programming and Software Engineering 
028 5 0 |a 10.1007/978-3-319-99498-7 
856 4 0 |u https://doi.org/10.1007/978-3-319-99498-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 621.395 
520 |a This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications