Abstract is missing.
- Transversal AND in Quantum CodesChristine Li, Lia Yeh. 3-40 [doi]
- A Reversible Crumbling Abstract Machine for Plotkin's Call-by-ValueNicolò Pizzo, Claudio Sacerdoti Coen. 41-58 [doi]
- On Weak Bisimilarities in CCSKBaptiste Vallée, Ivan Lanese. 59-74 [doi]
- Exact Quantum State Preparation with the Standard Recursive Block BasisGiacomo Belli, Michele Amoretti. 77-94 [doi]
- A Lean Mechanization of Reversible Occurrence NetsDaniel Dávalos, Hernán C. Melgratti. 95-111 [doi]
- Discrete Semantics for Reversible Transistor Network VerificationHannah Blyton, Hugh D. Potter. 112-129 [doi]
- A Proposed Research Platform for Fully Adiabatic, Reversible, and Superscalar (FARS) MicroarchitecturesByron Gregg, Christof Teuscher. 133-140 [doi]
- 13C NMR in Chemoinformatics: On Structures and SpectraStefan Kuhn 0001, Vandana Dwarka, Przemyslaw Grenda, Eero Vainikko. 141-148 [doi]
- Toward Quantum Circuit Execution Success Estimation via Graph Neural Network-Based PredictionAntonio Tudisco, Deborah Volpe, Mariagrazia Graziano, Giovanna Turvani. 149-163 [doi]
- Compiling Roopl++ to HSSALukas Gail, Uwe Meyer 0003, Tristan Schönhals. 167-183 [doi]
- A Reversible Semantics for JanusIvan Lanese, Germán Vidal. 184-200 [doi]
- Small-Step Semantics with Meta-level Reversibility for a Reversible Core LanguageToya Makino, Tetsuo Yokoyama. 201-218 [doi]
- PisoLang: a User-Friendly Reversible Programming Language with Inductive TypesKosuke Onodera, Keisuke Nakano 0001, Kazuyuki Asada, Kentaro Kikuchi. 219-235 [doi]
- A Graph Rewriting-Based Semantics and Implementation for ρ πJulie Cailler, Martin Vassor. 239-257 [doi]
- Automatic Generation of Generators for Property-Based Testing with Inverse InterpretationJoachim Tilsted Kristensen, Triera Gashi, Michael Kirkedal Thomsen. 258-276 [doi]
- PEARL: A Partial Evaluation Toolbox for a Reversible LanguageLouis Marott Normann, Robert Glück. 277-284 [doi]
- Introducing Time Passage to the Reversible Semantics for ErlangYuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina. 285-292 [doi]