Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / [electronic resource] : edited by Alexis De Vos, Robert Wille. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - 1 online resource (IX, 123 p. 82 ill.) - Lecture Notes in Computer Science, 7165 0302-9743 ; .

9783642295171


Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Algorithms.
Computer logic.
Mathematical logic.