Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
The Logic of Reversible Computing: Theory and Practice
Robin Kaarsgaard
SCIENCE PhD theses
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The Logic of Reversible Computing: Theory and Practice'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Reversible Computing
100%
Theory of Computing
100%
Categorical Model
28%
Calculus
14%
Existing Techniques
14%
Determinism
14%
Robotics
14%
Large Classes
14%
Energy Consumption
14%
Recursive Functions
14%
Category Theory
14%
Flowchart Languages
14%
Functional Programming
14%
Models of Computation
14%
Model-based Testing
14%
Formal Logic
14%
Debugging
14%
Turing Machine
14%
Reversible Logic Circuit
14%
Computer Science
Formal Logic
100%
Syntax Description
100%
model based testing
100%
Computing Machinery
100%