An Injective Language for Reversible Computation.
https://doi.org/10.1007/978-3-540-27764-4_16
@inproceedings{DBLP:conf/mpc/MuHT04,
author = {Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Dexter Kozen and
Carron Shankland},
title = {An Injective Language for Reversible Computation},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {289--313},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_16},
doi = {10.1007/978-3-540-27764-4\_16},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MuHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签