Description
Reversible Computation, 2015
7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Programming and Software Engineering Series
Coordinators: Krivine Jean, Stefani Jean-Bernard
Language: EnglishSubjects for Reversible Computation:
Keywords
algorithms; circuit complexity; circuit optimization; dynamic programming; formal methods; graph rewriting; hardware description languages; operational semantics; probabilistic computation; quantum circuits; quantum computing; quantum logic; reversible circuits; reversible computing; reversible logic; reversible models of computation; reversible programming languages; stochastic processes; term rewriting; verification
Support: Print on demand
Description
/li>Contents
/li>