Search filters

List of works by Holger Bock Axelsen

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits

scientific article published in 2016

A Reversible Processor Architecture and Its Reversible Logic Design

scientific article published in 2012

Cleaning Up: Garbage-Free Reversible Circuits by Design Languages

scientific article published in December 2012

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform

scientific article published on 5 November 2014

Fundamentals of reversible flowchart languages

scientific article published in January 2016

Join inverse categories and reversible recursion

scientific article published in February 2017

Minimizing Garbage Size by Generating Reversible Simulations

scientific article published in December 2012

On reversible Turing machines and their function universality

scientific article published on 27 January 2016

Principles of a reversible programming language

scientific article published in 2008

Reversible Flowchart Languages and the Structured Reversible Program Theorem

Reversible arithmetic logic unit for quantum arithmetic

scientific article published on 16 August 2010

Towards a Reversible Functional Language

scientific article published in 2012

What Do Reversible Programs Compute?

scientific article published in 2011

Paulina is supported by:

About Paulina

Help