Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
The Logic of Reversible Computing: Theory and Practice
Robin Kaarsgaard
SCIENCE PhD theses
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'The Logic of Reversible Computing: Theory and Practice'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
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%