《理论计算机科学》第122卷
第122卷,编号1和2,1994年1月3日
安娜丽莎·博西 , 毛里齐奥·加布里埃利 , 乔治·列维 , 玛丽亚·奇亚拉·梅奥 :
逻辑程序的合成语义。 3-47 路易斯·莫尼兹·佩雷拉 , 何塞·朱利奥·阿尔弗雷斯 , 约阿金·努内斯·阿帕里西奥 :
将封闭世界假设添加到基础良好的语义中。 49-68 Tadashi Kawamura公司 :
基于一阶逻辑规范的逻辑程序综合。 69-96 伯恩·马滕斯 , 丹尼·德·施雷耶 , 塔马斯·霍瓦思 :
基于良好基础措施展开的合理完整的部分扣除。 97-117 Makoto Tatsuta公司 :
共导定义的可实现性解释和流程序合成。 119-136 高山由纪德 :
建设性地定义并发流程。 137-164 安德烈亚·科拉迪尼 , 乌戈·蒙塔纳里 , 弗朗西丝卡·罗西 :
并发模块化系统的抽象机:CHARM。 165-200 文森特·波里兹 :
MLOG:一种具有逻辑变量的强类型融合函数语言。 201-223 马克·德内克 , 丹尼·德·施雷耶 :
在平等的模型生成框架中,论诱拐和模型生成的二重性。 225-262 哈桑·阿伊特·卡奇 , 安德烈亚斯·波德尔斯基 , 格特·斯莫尔卡 :
包含逻辑程序设计的特征约束系统。 263-283