The following pages link to Holger Bock Axelsen (Q303694):
Displaying 28 items.
- On reversible Turing machines and their function universality (Q303695) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Reversible Shrinking Two-Pushdown Automata (Q2798750) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
- A Hierarchy of Fast Reversible Turing Machines (Q2822488) (← links)
- Towards a Domain-Specific Language for Reversible Assembly Sequences (Q2822499) (← links)
- The Degree of Irreversibility in Deterministic Finite Automata (Q2830203) (← links)
- Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier (Q2868436) (← links)
- Reversible Representation and Manipulation of Constructor Terms in the Heap (Q2868440) (← links)
- Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space (Q2890183) (← links)
- Time Complexity of Tape Reduction for Reversible Turing Machines (Q2902496) (← links)
- Towards a Reversible Functional Language (Q2902497) (← links)
- What Do Reversible Programs Compute? (Q3000598) (← links)
- A Simple and Efficient Universal Reversible Turing Machine (Q3004571) (← links)
- Reversible arithmetic logic unit for quantum arithmetic (Q3161083) (← links)
- Boosting Reversible Pushdown Machines by Preprocessing (Q3186586) (← links)
- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1 (Q3453749) (← links)
- Programming Techniques for Reversible Comparison Sorts (Q3459428) (← links)
- Reversible Machine Code and Its Abstract Processor Architecture (Q3499767) (← links)
- Reversible Flowchart Languages and the Structured Reversible Program Theorem (Q3519506) (← links)
- Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder (Q3543346) (← links)
- The Degree of Irreversibility in Deterministic Finite Automata (Q4605511) (← links)
- (Q5389329) (← links)
- Boosting Reversible Pushdown and Queue Machines by Preprocessing (Q5859661) (← links)
- (Q5867516) (← links)
- Parallelization of reversible ripple-carry adders (Q6483530) (← links)
