计算机科学中的数学结构,第8卷
1998年2月第8卷第1期
克利夫德·伯格曼 , 乔耳·伯曼 :
类别等价算法。 1-15 毛拉·塞里奥利 , 吉安娜·雷吉奥 :
非常抽象的规范:一种形式主义独立的方法。 17-66 赫尔曼·普尔曼 :
在域理论数据模型中重组信息。 67-92
第8卷第2期,1998年4月
罗伯特·罗斯布鲁 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 :
自动机两类中的最小实现。 93-116 弗拉迪米罗·萨松 :
Petri网计算范畴的公理化。 117-151 Djordje立方 , 彼得·戴比杰 , 菲利普·J·斯科特 :
规范化和Yoneda嵌入。 153-192
1998年6月第8卷第3期
卢卡·埃特罗 , 万·J·福克金 , Anna Ingólfsdóttir女士 :
基于BPA*的非有限过程语义管理——从就绪模拟到完成的跟踪。 193-230 欧内斯特·马内斯 :
用Monad实现Collection类。 231-276年 伯加德·冯·卡格 :
时间代数。 277-320
1998年8月第8卷第4期
Hideki Tsuiki先生 :
通过域值函数重载的计算充分模型。 321-349 大卫·A·诺曼 :
高阶强制规划的分类模型。 351-399 戴维德·安科纳 , 埃琳娜·祖卡 :
混合模理论:基本算子和派生算子。 401-446
第8卷第5期,1998年10月
戴维德·桑吉奥吉 :
最后余代数语义学的基础:非完整集,偏序,度量空间。 447-480 丹尼尔·图里 , Jan J.M.M.Rutten先生 :
最后的同义词语义基础。 数学。 结构。 计算。 科学。 8 ( 5 ) : 481-540 ( 1998 )
第8卷第6期,1998年12月
托马斯·埃尔哈德 , 伊夫·拉丰 , 劳伦特·雷格尼尔 :
前言。 541 丹尼斯·贝切特 :
乘法证明网正确性准则的极小性。 543-558 皮埃尔·路易斯·居里 :
抽象Böhm树。 559-591 玛丽贝尔·费尔南德斯 :
交互网络的类型分配和终止。 593-636 菲利普·德格罗特 :
lambda-mu演算的环境机器。 637-669 杰拉德·P·休特 :
常规Böhm树。 671-680 盖·佩里尔 :
并行编程作为证明网的构造。 681-710