《理论计算机科学》第193卷
第193卷,编号1-2,1998年2月28日
马塞洛·M·邦桑格 , 弗兰克·范·布鲁格尔 , Jan J.M.M.Rutten先生 :
广义度量空间:通过Yoneda嵌入的完备、拓扑和幂域。 1-51 阿巴斯·艾达拉特 , 雷霍德·赫克曼 :
度量空间的计算模型。 53-73 乔治·盖利 , 本杰明·皮尔斯 :
有界存在与最小类型。 75-96 吉福米·马纳贝 , 罗伯托·巴多尼 , 米歇尔·雷纳尔 , 青木Shigemi Aoyagi :
k-仲裁器:一种安全通用的h-out-of-k互斥方案。 97-112 法比奥·阿莱西 , 保罗·巴尔丹 :
通过泛空间的1-有界紧致拟超空间之间距离的一个刻画。 113-127 Henri-Alex Esbelin公司 , 马利卡更多 :
基本关系和基本递归:工具箱。 129-148 肯尼思·罗斯 , 迪维什·斯利瓦斯塔瓦 , 彼得·斯塔基 , S.Sudarshan公司 :
聚合约束的基础。 149-179 托马斯·德拉肯格伦 :
P-omega中Scott自反域中紧元素的可判定标准表示。 181-195 亚历山大·莫西·拉宾诺维奇 :
论动作时间逻辑到一元二阶逻辑的翻译。 197-214 马可·卡多利 , 路易吉·帕洛波利 :
转义DATALOG:表达能力和复杂性。 215-244