Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Reversible Computation

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Jarkko Kari

    1. University of Turku, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Irek Ulidowski

    1. University of Leicester, Leicester, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11106)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RC 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (25 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Physical Foundations of Landauer’s Principle

      • Michael P. Frank
      Pages 3-33

    3. From Reversible Semantics to Reversible Debugging

      • Ivan Lanese
      Pages 34-46

    4. Finite-State Classical Mechanics

      • Norman Margolus
      Pages 47-60

    5. On Aperiodic Reversible Turing Machines (Invited Talk)

      • Nicolas Ollinger
      Pages 61-64

  3. Reversible Concurrent Computation

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. On Reversibility and Broadcast

      • Claudio Antares Mezzina
      Pages 67-83

    3. Reversible Computation in Petri Nets

      • Anna Philippou, Kyriaki Psara
      Pages 84-101

    4. Event Structure Semantics of (controlled) Reversible CCS

      • Eva Graversen, Iain Phillips, Nobuko Yoshida
      Pages 102-122

    5. Simulation of Base Excision Repair in the Calculus of Covalent Bonding

      • Stefan Kuhn
      Pages 123-129

  4. Quantum Circuits

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. A Unified Approach to Quantum Computation and Classical Reversible Computation

      • Alexis De Vos, Stijn De Baerdemacker
      Pages 133-143

    3. ZX-Rules for 2-Qubit Clifford+T Quantum Circuits

      • Bob Coecke, Quanlong Wang
      Pages 144-161

    4. Quantum Circuits for Floating-Point Arithmetic

      • Thomas Haener, Mathias Soeken, Martin Roetteler, Krysta M. Svore
      Pages 162-174

    5. SAT-based {CNOT, T} Quantum Circuit Synthesis

      • Giulia Meuli, Mathias Soeken, Giovanni De Micheli
      Pages 175-188

    6. Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons

      • Kevin D. Osborn, Waltraut Wustmann
      Pages 189-204

    7. Finding the Redundant Gates in Reversible Circuits

      • Matthias Pfuhl, Jörg Ritter, Paul Molitor
      Pages 205-219

    8. Multi-objective Synthesis of Quantum Circuits Using Genetic Programming

      • Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
      Pages 220-227

    9. Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures

      • Wakaki Hattori, Shigeru Yamashita
      Pages 228-243
Back to top

Other volumes

  1. Reversible Computation

Editors and Affiliations

  • University of Turku, Turku, Finland

    Jarkko Kari

  • University of Leicester, Leicester, United Kingdom

    Irek Ulidowski

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation