Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes
复制标题
离开巢穴：具有交错作用域的变量的名义技术
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Gabbay MJ
中科院分区：
文献类型：
--
作者：
Gabbay MJ
登录
查看更多内容
关于带有活页夹的名义正则语言
DOI：
--
发表时间：
2012
期刊：
Foundations of Software Science and Computation Structure
影响因子：
--
作者：
A. Kurz;Tomoyuki Suzuki;E. Tuosto
通讯作者：
E. Tuosto
标称幺半群
影响因子：
0.5
作者：
Mikolaj Bojanczyk
通讯作者：
Mikolaj Bojanczyk
名词技术的基础：抽象语法中变量的逻辑和语义
影响因子：
0.6
作者：
M. Gabbay
通讯作者：
M. Gabbay
论名义集合上的通用代数
影响因子：
0.5
作者：
KURZ A
通讯作者：
KURZ A
阿德马尔
DOI：
--
发表时间：
2003
期刊：
CADE
影响因子：
--
作者：
Dimitri Hendriks;V. V. Oostrom
通讯作者：
V. V. Oostrom