Decidability in Syntactic Control of Interference
Decidability in Syntactic Control of Interference
复制标题
干扰句法控制的可判定性
DOI：
--
复制
发表时间：
2007
影响因子：
1.1
通讯作者：
J Laird
中科院分区：
文献类型：
--
作者：
J Laird
登录
查看更多内容
具有迭代的三阶理想化 Algol 可判定
DOI：
10.1016/j.tcs.2007.09.022
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Murawski;I. Walukiewicz
通讯作者：
I. Walukiewicz
DOI：
10.1016/0304-3975(83)90077-4
发表时间：
1983
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
E. Kinber
通讯作者：
E. Kinber
类Algol语言
DOI：
--
发表时间：
1996
期刊：
影响因子：
--
作者：
P. O'Hearn;R. D. Tennent
通讯作者：
R. D. Tennent
重新审视干扰的句法控制
DOI：
10.1016/s1571-0661(04)00026-x
发表时间：
1999
期刊：
2009 24th Annual IEEE Symposium on Logic In Computer Science
影响因子：
--
作者：
P. O'Hearn;J. Power;R. D. Tennent;M. Takeyama
通讯作者：
M. Takeyama
可观察的顺序性和完全抽象
影响因子：
1.8
作者：
Robert Cartwright;M. Felleisen
通讯作者：
M. Felleisen