计算机科学中的数学结构,第13卷
2003年第13卷第1期
巴维尔·乌尔兹琴 :
强正规化不确定性的简单证明。 5-13 安东尼奥·布恰雷利 , 阿道夫·皮佩诺 , 伊万诺·萨尔沃 :
交叉点类型和lambda-可定义性。 15-53 丹尼尔·道尔蒂 , 皮埃尔·莱斯坎 :
约简、交集类型和显式替换。 55-85 安妮迪亚·班纳吉 , 托马斯·詹森 :
2级交叉口类型的模块化控制流分析。 87-124 克里斯蒂安·莫辛 :
精确流量分析。 125-156 费鲁西奥·达米亚尼 :
用于无用代码消除的连接类型系统。 157-197
2003年第2期第13卷
吉瑞·阿达梅克 , 汉斯·埃·波斯特 :
论范畴中的变种和余变种。 201-232 史蒂文·阿沃迪 , 杰西·休斯 :
模态算子与Birkhoff完全性定理的形式对偶。 233-258 杰里·阿达梅克 , 斯特凡·米利乌斯 , 杰里·韦利比尔 :
自由迭代理论:协代数观点。 259-320 福尔克·巴特尔 :
通用硬币。 321-348 尼尔·加尼 , 克里斯托夫·吕思 , 费德里科·德马奇 , 约翰·鲍尔 :
对偶初始代数。 349-370
2003年第3期第13卷
安德鲁·戈登 , 鲁卡·凯德利 :
移动环境的等式特性。 371-408 罗贝多·迪·科斯莫 , 迪莉娅·凯斯纳 , 伊曼纽尔·波洛诺斯基 :
证明网和显式替换。 409-450 彼得·海因斯 :
有限状态机的分类框架。 451-480
2003年第4期第13卷
萨姆森·阿布拉姆斯基 :
游戏和逻辑中的顺序性与并发性。 531-565 吉尔·斯尔巴 :
Bpa和Bpp弱双相似性和正则性的复杂性。 567-587 Jos C.M.Baeten先生 :
将非定时嵌入到定时进程代数中:显式终止的情况。 589-618 弗拉维奥·科拉迪尼 , 迪诺可乐 :
在时间进程中紧急、懒惰和忙碌等待动作的表现力。 619-656 卢卡·埃特罗 , 朱塞佩·隆戈 , 比约恩·维克多 :
特刊前言:并发计算和顺序计算的区别。 481-484 沃恩·R·普拉特 :
并行和分支时间中的转换和取消。 485-529
2003年第5期第13卷
帕拉米德斯猫 :
比较同步和异步Pi-Calculi的表达能力。 685-719 科西莫·拉伊夫 , 比约恩·维克多 :
独奏音乐会。 657-683 菲利普·马瑟拉特 , 马克·蒂里·杰克尔 :
并发计算机器和物理时空。 771-798 帕斯卡·齐默 :
论纯粹安全环境的表现力。 721-770
2003年第6期第13卷
洛伦佐·托托拉·德·法尔科 :
线性逻辑证明网的实验。 799-855 多米尼克·杜瓦尔 :
图表规范。 857-890