A Linear-Time Reversible Self-Interpreter
A Linear-Time Reversible Self-Interpreter
复制标题
线性时间可逆自解释器
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
ロバートグリュック
中科院分区：
文献类型：
--
作者：
横山哲郎;ロバートグリュック
登录
查看更多内容
纯 Lambda 演算的线性时间自我解释
DOI：
10.1023/a:1010058213619
发表时间：
1999
期刊：
Higher-Order and Symbolic Computation
影响因子：
--
作者：
Torben Æ. Mogensen
通讯作者：
Torben Æ. Mogensen
命运的逆转 - 垃圾收集的热力学
DOI：
10.1007/bfb0017210
发表时间：
1992
期刊：
J. Multiple Valued Log. Soft Comput.
影响因子：
--
作者：
H. Baker
通讯作者：
H. Baker
影响因子：
--
作者：
R. Wille;R. Drechsler
通讯作者：
R. Drechsler
影响因子：
16.6
作者：
Saeedi, Mehdi;Markov, Igor L.
通讯作者：
Markov, Igor L.
程序逆变器
DOI：
--
发表时间：
2004
期刊：
16th Nordic Workshop on Programming Theory. Proceedings
影响因子：
--
作者：
真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe;河邊 昌彦;Masahiko Kawabe
通讯作者：
Masahiko Kawabe