第四届STACS 1987：德国帕绍
弗朗兹·约瑟夫·勃兰登堡 , 盖伊·维达尔·纳奎特 , 马丁·威辛 以下为：
STACS 87，第四届计算机科学理论方面年度研讨会，1987年2月19日至21日，德国帕绍，会议记录。 计算机科学课堂讲稿 247中， 施普林格 1987 ，国际标准图书编号 3-540-17219-X号 罗纳德·V·书 以下为：
走向相对论：正相对论。 1-21 吉尔斯·卡恩 以下为：
自然语义学。 22-39 迈克尔·考夫曼 , 库尔特·梅尔霍恩 以下为：
关于双终端网络的本地路由。 40-52 弗兰兹·奥伦哈默 , Hiroshi Imai先生 以下为：
Voronoi图之间的几何关系。 53-65 J.D.布洛克 以下为：
在栅格曲面上查找最大的空矩形。 66-75 Kshitij A.Doshi公司 , 彼得·瓦尔曼 以下为：
在固定大小的处理器阵列上使用有限通信的高效图形算法。 76-87 巴拉·拉维库马尔 , K.甘尼桑 , K.B.拉克希曼南 以下为：
关于错误信息喷溅中最大元素的选择。 88-99 托马斯·伦高 , 克劳斯·瓦格纳 以下为：
图问题的非层次和层次版本的复杂性之间的相关性。 100-113 乌韦·舍宁 以下为：
图同构处于低层次结构中。 114-124 约翰·盖斯克 , Dung T.Huynh先生 , 艾伦·L·塞尔曼 以下为：
几乎处处复集的层次定理及其在多项式复杂度中的应用。 125-135 何塞·巴尔卡扎 以下为：
自我还原性。 136-147 Jin-yi Cai公司 以下为：
布尔层次的概率一分离。 148-158 尤拉吉·赫龙科维奇（Juraj Hromkovic） 以下为：
多计数器和多头机器的反向复杂性。 159-168 阿尔贝托·贝托尼 , 马西米利亚诺·戈德沃尔姆 , 尼科莱塔·萨巴迪尼 以下为：
计算上下文无关语言的计数函数。 169-179 维克科·凯尔宁（Veikko Keränen） 以下为：
关于自由单体上形态的k-Free性。 180-188年 乌苏拉·施密特 以下为：
两个字母上的可避免模式。 189-197 穆斯塔法·阿尔菲 以下为：
有理语言上的多项式运算。 198-206 安内格丽特·哈贝尔 , 汉斯·约格·克鲁斯基 以下为：
超边替换生成的超图语言的一些结构方面。 207-219 S.卡普兰 , 阿米尔·普努利 以下为：
并发访问数据结构的规范和实现：抽象数据类型方法。 220至244 克里斯托夫·贝尔 , 安吉·沃伊 
以下为：
松散抽象数据类型规范及其垂直组合的实现。 245-259 托比亚斯·尼普科 以下为：
同态对于确定性和非确定性数据类型的行为实现是否足够？ 260-271 沃尔克·迪克特 以下为：
关于有限Church-Rosser Thue系统演示的一些备注。 272-285 哈拉尔德·甘津格 以下为：
参数条件方程规范中的基本项合并。 286-298 冈瑟·施密特 , 鲁道夫·伯哈默 , 汉斯·齐雷尔 以下为：
用萌芽描述语义域。 299-310 埃吉迪奥·阿斯泰西亚诺 , 吉安娜·雷吉奥 以下为：
比较并发语言的直接语义和连续语义风格：从新的角度重新审视旧问题。 311-322 维克拉曼·阿文德 , 萨默纳斯·比斯沃斯 以下为：
用非确定性归纳算子表示一阶逻辑。 323-335 罗布·范·格拉贝克 以下为：
过程代数中的有界不确定性和近似归纳原理。 336-347 德克·托布纳 , 沃尔特·福格勒 以下为：
步骤失败语义。 348-359 罗德尼·R·豪厄尔 以下为：
关于有限维和二维状态向量加法系统的包含、等价性和可达性的复杂性。 360-370 伊丽莎白·佩尔兹 以下为：
确定性Petri网的闭包性质。 371-382 卢兹·普里泽 , 拉尔夫·雷曼 , Uwe Willecke-Klemme公司 以下为：
关于公平的一些结果：一般情况。 383-395 海诺·卡斯滕森 以下为：
Petri网中公平性的可判定性问题。 396-407 曼弗雷德·昆德 以下为：
多维网格连接计算机上的最优排序。 408-419 莫里特 以下为：
关于接触最小化问题。 420-431 鲁文·巴尔·耶胡达 , 谢·库滕 , Yaron Wolfstahl公司 , Shmuel Zaks公司 以下为：
使分布式生成树算法具有容错性。 432-444 Gerard电话 , Richard B.Tan先生 , Jan van Leeuwen女士 以下为：
从分布式终止检测协议推导出空中垃圾收集算法。 445-455 尼古拉·桑托罗 , 杰弗里·西德尼 , 斯图亚特·西德尼 以下为：
分布式选择的预期复杂性。 456-467 迪迪埃·伯特 , 帕斯卡·德拉比克 , 拉希德·埃哈希德 以下为：
液化石油气：一种通用、逻辑和函数编程语言。 468-469 休伯特·伯特林 , 哈拉尔德·甘津格 , 休伯特·鲍迈斯特 以下为：
CEC（条件方程完成）。 470 米歇尔·比多特 , 弗朗西斯·卡比 , 克莉丝汀·肖比 , M.-A.乔克 , 圣卡普兰 , 弗朗索瓦斯·施林格 , 法国之声 以下为：
Asspegique：集成规范环境。 471 瓦杜德·布斯迪拉 , 珍妮·卢克·雷米 以下为：
版本4：条件重写实验室。 472-473 N.吉拉德 以下为：
基于视频编辑和重写技术的交互式、增量和便携式Lambda演算和组合逻辑计算机代数系统。 474 海因里希·胡斯曼 以下为：
帕绍RAP系统：代数规范的快速原型制作。 475-476 米歇尔·莱莫恩 , 勒内提花 , 盖伊·扎农 以下为：
SPRAC：软件工程环境。 477-478 劳伦特·弗里堡 以下为：
SLOG：等式子句的逻辑解释器。 479-480 迈克尔·戈德史密斯 , A.考克斯 , 杰夫·巴雷特 以下为：
Occam程序的代数变换系统。 481 皮埃尔·莱斯坎 以下为：
版本：重写规则实验室。 482-483
