scientific article; zbMATH DE number 6028106
From MaRDI portal
Publication:5389329
zbMath1236.68068MaRDI QIDQ5389329
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Publication date: 26 April 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reversibilizationreversible computingreversible simulationJanusBennett's methodlossless data encoding
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) General topics in the theory of software (68N01)
Related Items (6)
A categorical foundation for structured reversible flowchart languages ⋮ Garbageless Reversible Implementation of Integer Linear Transformations ⋮ Fundamentals of reversible flowchart languages ⋮ Clean Reversible Simulations of Ranking Binary Trees ⋮ Reversible computing from a programming language perspective ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
This page was built for publication: