Grammar-based Approach to Invertible Programs

Grammar-based Approach to Invertible Programs
复制标题

基于语法的可逆程序方法

DOI:
--
复制
发表时间:
--
期刊:
19th European Symposium on Programming (ESOP), LNCS6012 2010
影响因子:
--
通讯作者:
Masato Takeichi.
Masato Takeichi.
中科院分区:
--
文献类型:
--
作者:
Kazutaka Matsuda;Shin-Cheng Mu;Zhenjiang Hu;Masato Takeichi.

文献摘要

参考文献

被引文献

相似文献

树葬报告(上)(下)
DOI: --
发表时间: 2007
期刊: SOGI 102・103
影响因子: --
作者:
Chikako Nakayama;Giovanni Pavanelli;池上 良正;金山弥平;米谷匡史;岡田 真美子;金山弥平;松尾 剛次;西谷修;井上 治代
通讯作者: 井上 治代
DOI: --
发表时间: 2002
期刊: The Essence of Computation
影响因子: --
作者:
Sergei M. Abramov;R. Glück
通讯作者: R. Glück
DOI: --
发表时间: 2005
期刊: IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8
影响因子: --
作者:
Naoki Nishida;Masahiko Sakai;Toshiki Sakabe
通讯作者: Toshiki Sakabe
引导树自动机的算法
DOI: 10.1007/3-540-63174-7_2
发表时间: 1996
期刊: Nano letters
影响因子: 10.8
作者:
M. Biehl;Nils Klarlund;Theis Rauhe
通讯作者: Theis Rauhe
树下推自动机
DOI: 10.1016/0022-0000(85)90002-9
发表时间: 1985
期刊: J. Comput. Syst. Sci.
影响因子: --
作者:
Karl M. Schimpf;J. Gallier
通讯作者: J. Gallier