|
|
A Structural Approach to Reversible Computation
S. Abramsky infobook title | LCCS 2001: Proceedings of the International Workshop on Logic and Complexity in Computer Science |
editor | D. Beauquier and Y. Matiyasevich |
pages | 1-16 |
series | LACL |
year | 2001 |
links
BibTeX
Download (ps.gz)
related pages
|
|
|
|
