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:	2005

Similar Items

A Structural Approach to Reversible Computation
by: Abramsky, S
Published: (2001)

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)

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

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)

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

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

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

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)

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

Developmental Differences in Probabilistic Reversal Learning: A Computational Modeling Approach
by: Eileen Oberwelland Weiss, et al.
Published: (2021-01-01)

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

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)

DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
by: Samson Abramsky, et al.
Published: (2015-11-01)

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)

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)

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

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

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

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

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

Symmetry Groups for the Decomposition of Reversible Computers, Quantum Computers, and Computers in between
by: Alexis De Vos, et al.
Published: (2011-06-01)

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

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

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

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)

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

A Domain Equation for Bisimulation
by: Abramsky, S
Published: (1991)