• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2013
• 
  Robert Glück, Tetsuo Yokoyama:
  Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Lecture Notes in Computer Science 7581, Springer 2013, ISBN 978-3-642-36314-6 [contents]
• 2012
• 
  Holger Bock Axelsen, Michael Kirkedal Thomsen:
  Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 ^k ±2 ^l ±1. RC 2012: 171-182
• 
  Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos, Michael Kirkedal Thomsen:
  Garbageless Reversible Implementation of Integer Linear Transformations. RC 2012: 160-170
• 
  Bob Coecke, Ross Duncan:
  Tutorial: Graphical Calculus for Quantum Circuits. RC 2012: 1-13
• 
  Diarmuid Early, Ang Gao, Michel P. Schellekens:
  Frugal Encoding in Reversible MOQA: A Case Study for Quicksort. RC 2012: 85-96
• 
  Cong Hou, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc:
  Synthesizing Loops for Program Inversion. RC 2012: 72-84
• 
  Roshan P. James, Amr Sabry:
  Isomorphic Interpreters from Logically Reversible Abstract Machines. RC 2012: 57-71
• 
  Jean Krivine:
  A Verification Technique for Reversible Process Algebra. RC 2012: 204-217
• 
  Martin Kutrib, Andreas Malcher:
  One-Way Reversible Multi-head Finite Automata. RC 2012: 14-28
• 
  Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
  Controlled Reversibility and Compensations. RC 2012: 233-240
• 
  Kenichi Morita:
  A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads. RC 2012: 29-43
• 
  Noor M. Nayeem, Jacqueline E. Rice:
  Design of an Online Testable Ternary Circuit from the Truth Table. RC 2012: 152-159
• 
  Iain Phillips, Irek Ulidowski, Shoji Yuen:
  A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. RC 2012: 218-232
• 
  Md. Mazder Rahman, Gerhard W. Dueck:
  Properties of Quantum Templates. RC 2012: 125-137
• 
  Zahra Sasanian, D. Michael Miller:
  Reversible and Quantum Circuit Optimization: A Functional Approach. RC 2012: 112-124
• 
  Ulrik Pagh Schultz:
  Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots. RC 2012: 97-111
• 
  Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler:
  Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams. RC 2012: 183-196
• 
  Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler:
  Using πDDs in the Design of Reversible Circuits. RC 2012: 197-203
• 
  Marek Szyprowski, Pawel Kerntopf:
  Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits. RC 2012: 138-151
• 
  Rodrigo Torres-Avilés, Nicolas Ollinger, Anahí Gajardo:
  Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine. RC 2012: 44-56