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
Engineering & Materials Science
Formal logic
100%
Recursive functions
99%
Turing machines
93%
Functional programming
88%
Logic circuits
76%
Machinery
64%
Robotics
50%
Energy utilization
47%
Set theory
42%
Testing
34%