Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Krivine, Jean.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: Clark Conference ((2005 :); Krivine, Jean.; SpringerLink (Online service); Stefani, Jean-Bernard. (Language materials, printed)

Subjects

Software Engineering. Logics and Meanings of Programs. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Computer logic Logic Design. Quantum Computing. Computer science Reversible computing Computer Science.

Change password

Login