Languages
Devitt, Simon.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
Clark Conference ((2005 :); Devitt, Simon.; Lanese, Ivan.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer logic.
Quantum computers.
Logics and Meanings of Programs.
Computers.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Computer logic
Logic design.
Programming languages (Electronic computers)
Algorithms.
Programming Languages, Compilers, Interpreters.
Reversible computing
Computer science.