A Structural Approach to Reversible Computation

A Structural Approach to Reversible Computation

Show other versions (1)

Bibliographic Details
Main Author:	Abramsky, S
Format:	Conference item
Published:	2001

Similar Items

A Structural Approach To Reversible Computation
by: Abramsky, S
Published: (2005)

Relating structure to power: comonadic semantics for computational resources
by: Abramsky, S, et al.
Published: (2018)

Intensionality, definability and computation
by: Abramsky, S
Published: (2014)

Computational Interpretations of Linear logic
by: Abramsky, S
Published: (1993)

High−Level Methods for Quantum Computation and Information
by: Abramsky, S
Published: (2004)

Petri Nets‚ Discrete Physics‚ and Distributed Quantum Computation
by: Abramsky, S
Published: (2008)

Reversible Computing
by: Toffoli, Tommaso
Published: (2023)

Physics from Computer Science
by: Abramsky, S, et al.
Published: (2007)

Reasoning about concurrent systems: a functional approach
by: Abramsky, S
Published: (1984)

Temperley−Lieb algebra: From knot theory to logic and computation via quantum mechanics
by: Abramsky, S
Published: (2007)

Temperley–lieb algebra: from knot theory to logic and computation via quantum mechanics
by: Abramsky, S
Published: (2007)

Computer-aided reverse engineering approach for motorcycle side mirror /
by: 180782 Mohd. Arsyad Haneefa, et al.
Published: (2008)

A Numerical Study on Computational Time Reversal for Structural Health Monitoring
by: Christos G. Panagiotopoulos, et al.
Published: (2021-04-01)

Reversibility for efficient computing
by: Frank, Michael Patrick
Published: (2005)

Game theory meets theoretical computer science
by: Abramsky, S, et al.
Published: (2005)

What are the fundamental structures of concurrency? We still don't know!
by: Abramsky, S
Published: (2005)

What are the fundamental structures of concurrency?: We still don't know!
by: Abramsky, S
Published: (2006)

What are the fundamental structures of concurrency? We still don't know!
by: Abramsky, S
Published: (2006)

A Relational Approach to Strictness Analysis for Higher−Order Polymorphic Functions
by: Abramsky, S, et al.
Published: (1991)

Pendulum--a reversible computer architecture
by: Vieri, Carlin James
Published: (2007)

Are all reversible computations tidy?
by: Maroney, O
Published: (2004)

The Complexity of Iterated Reversible Computation
by: David Eppstein
Published: (2023-12-01)

Reversible computer engineering and architecture
by: Vieri, Carlin James
Published: (2013)

Computer-aided reverse engineering approach for motorcycle side mirror [electronic resource] /
by: 180782 Mohd. Arsyad Haneefa
Published: (2008)

The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
by: Abramsky, S, et al.
Published: (2011)

The Sheaf−Theoretic Structure of Non−Locality and Contextuality
by: Abramsky, S, et al.
Published: (2011)

Reversible Gates: A Paradigm Shift in Computing
by: Syed Farah Naz, et al.
Published: (2023-01-01)

A Specification Structure for Deadlock−freedom of Synchronous Processes
by: Abramsky, S, et al.
Published: (1999)

Quantum Foundations of Classical Reversible Computing
by: Michael P. Frank, et al.
Published: (2021-06-01)

A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems
by: Abramsky, S, et al.
Published: (1997)

Specification Structures and Propositions−as−Types for Concurrency
by: Abramsky, S, et al.
Published: (1996)

Reversible and Non-Reversible Transformation of Magnetic Structure in Amorphous Microwires
by: Alexander Chizhik, et al.
Published: (2020-07-01)

Computer architecture : a structured approach /
by: 356338 Doran, R. W.
Published: (1979)

Synthesis Strategy of Reversible Circuits on DNA Computers
by: Mirna Rofail, et al.
Published: (2021-07-01)

Simulation model of reverse logistic in computer industry
by: Ario Prabowo
Published: (2009)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
by: Marco Bernardo, et al.
Published: (2023-04-01)

An Integrated Engineering Study Scheme in Computing
by: Finkelstein, A, et al.
Published: (1993)

Simulation of reverse logistics network designs for computer recovery
by: Yogesh Tibrewala.
Published: (2008)

Efficiency of reversible reaction: a graphical approach
by: Novak Igor
Published: (2022-05-01)

Computational atomic structure : an MCHF approach /
by: 415959 Fischer, Charlotte Froese, et al.
Published: (1997)