首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Special Issue: The 25th Nordic Workshop on Programming Theory (NWPT 2013) foreword
被引:0
作者
:
论文数:
引用数:
h-index:
机构:
Uustalu, Tarmo
[
1
]
论文数:
引用数:
h-index:
机构:
Vain, Juri
[
2
]
机构
:
[1]
Tallinn Univ Technol, Inst Cybernet, Akad Tee 21, EE-12618 Tallinn, Estonia
[2]
Tallinn Univ Technol, Dept Comp Sci, Akad Tee 15A, EE-12618 Tallinn, Estonia
来源
:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
|
2016年
/ 85卷
/ 06期
关键词
:
D O I
:
10.1016/j.jlamp.2016.10.004
中图分类号
:
TP301 [理论、方法];
学科分类号
:
081202 ;
摘要
:
引用
收藏
页码:1109 / 1109
页数:1
相关论文
未找到相关数据
未找到相关数据