Reversible Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642363146, 9783642363153

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Isomorphic Interpreters from Logically Reversible Abstract Machines

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_5 ◽

2013 ◽

pp. 57-71 ◽

Author(s):

Roshan P. James ◽

Amr Sabry

Keyword(s):

Abstract Machines

Download Full-text

Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_11 ◽

2013 ◽

pp. 138-151 ◽

Author(s):

Marek Szyprowski ◽

Paweł Kerntopf

Keyword(s):

Download Full-text

Reversible and Quantum Circuit Optimization: A Functional Approach

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_9 ◽

2013 ◽

pp. 112-124 ◽

Author(s):

Zahra Sasanian ◽

D. Michael Miller

Keyword(s):

Quantum Circuit ◽

Functional Approach ◽

Circuit Optimization

Download Full-text

Properties of Quantum Templates

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_10 ◽

2013 ◽

pp. 125-137 ◽

Author(s):

Md. Mazder Rahman ◽

Gerhard W. Dueck

Download Full-text

Design of an Online Testable Ternary Circuit from the Truth Table

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_12 ◽

2013 ◽

pp. 152-159 ◽

Author(s):

Noor M. Nayeem ◽

Jacqueline E. Rice

Keyword(s):

Download Full-text

A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_3 ◽

2013 ◽

pp. 29-43 ◽

Author(s):

Kenichi Morita

Keyword(s):

Finite Automaton

Download Full-text

Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_14 ◽

2013 ◽

pp. 171-182 ◽

Author(s):

Holger Bock Axelsen ◽

Michael Kirkedal Thomsen

Keyword(s):

Integer Multiplication

Download Full-text

Frugal Encoding in Reversible $\mathcal{MOQA}$ : A Case Study for Quicksort

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_7 ◽

2013 ◽

pp. 85-96 ◽

Author(s):

Diarmuid Early ◽

Ang Gao ◽

Michel Schellekens

Download Full-text

A Verification Technique for Reversible Process Algebra

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_17 ◽

2013 ◽

pp. 204-217 ◽

Author(s):

Jean Krivine

Keyword(s):

Process Algebra ◽

Reversible Process

Download Full-text

Tutorial: Graphical Calculus for Quantum Circuits

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36315-3_1 ◽

2013 ◽

pp. 1-13 ◽

Author(s):

Bob Coecke ◽

Ross Duncan

Keyword(s):

Quantum Circuits ◽

Graphical Calculus

Download Full-text