1989年第6届STACS:德国帕德博恩
博克哈德·莫尼恩 , 罗伯特·科里 以下为:
STACS 89,第六届计算机科学理论方面年度研讨会,帕德博恩,FRG,1989年2月16-18日,会议记录。 计算机科学课堂讲稿 349, 施普林格 1989 ,国际标准图书编号 3-540-50840-6
邀请报告
弗里德海姆·梅耶(Friedhem Meyer auf der Heide) 以下为:
关于真正的有时限计算。 1-16 彼得·D·摩斯斯 以下为:
统一代数与动作语义学。 17-35 非交换有理函数 以下为:
无限词的性质:最近的结果。 36-46
语义1
弗朗西斯卡·卢西奥·卡拉斯科 , 安东尼奥·加维兰斯·弗兰科 以下为:
部分函数的一阶逻辑(扩展抽象)。 47-58 罗尔夫·亨尼克 以下为:
观察实施。 59-71
计算几何
阿列维佐斯泛球虫 , Jean-Daniel Boissonnat女士 , 佛朗哥·P·普雷斯塔 以下为:
关于射线联合的边界。 72-83 佛朗哥·P·普雷斯塔 , 罗伯托·塔玛西亚 以下为:
具有最佳查询时间的动态平面点定位。 84-95 赫里斯托·N.吉吉耶夫(Hristo N.Djidjev) , 安德烈·林加斯 , Jörg-Rüdiger袋 以下为:
计算简单多边形中链接中心的O(n log n)算法。 96-107
结构
沃尔夫冈·古查尔 , 埃莫·韦尔兹尔 , 格哈德·沃金格(Gerhard J.Woeginger) 以下为:
多项式图着色。 108-119 弗里德海姆·梅耶(Friedhem Meyer auf der Heide) , 罗尔夫·万卡 以下为:
通用并行计算机对网络的时间优化模拟。 120-131 弗里德海姆·欣兹 以下为:
链码概念中无法区分的图像语言类和冗余重试的删除。 132-143
自动机理论
克里斯蒂安·弗劳格尼 以下为:
线性计数系统、Theta-Developments和有限自动机。 144-155 杰弗里·沙利特 以下为:
自动序列的推广。 156-167 沃尔克·迪克特 以下为:
线性时间内可解的TRaces上的单词问题。 168-180
并行算法
弗里德海姆·梅耶(Friedhem Meyer auf der Heide) 以下为:
计算一维和二维处理器阵列上的最小跨度森林。 181-192 奥特弗里德·施瓦茨科普夫 以下为:
离散Voronoi图的并行计算(扩展抽象)。 193-204年 唐纳德·福塞尔 , 罗摩克里希纳·图瑞米拉 以下为:
并行图算法中的逐次逼近。 205-217
复杂性1
格哈德·邦特洛克 , 阿尔布雷赫特·霍恩 以下为:
反转和交替。 218-228 Jin-yi Cai公司 , A.Hemachandra巷 以下为:
论奇偶多项式时间的力量。 229-239 K.甘尼桑 , 史蒂文·霍默 以下为:
完全问题和强多项式可约性。 240-250
复杂性2
安杰伊·塞佩托夫斯基 以下为:
如果确定性和非确定性空间复杂度相等 对数log n 那么它们也相等于 对数n 。 251-255 彼得·伯曼 , 乔治·施尼特 以下为:
关于逼近独立集问题的复杂性。 256-268
分布式计算
克里斯蒂安·拉沃 以下为:
处理器环中分布式先导查找的平均消息数。 269-281 马克·奥弗马斯 , 尼古拉·桑托罗 以下为:
时间与比特。 282-293 保罗·比姆 , 汉斯·博德兰德 以下为:
跨接网络上的分布式计算:Thorus。 294-303年
容错性
尼古拉·桑托罗 , 彼得·维德迈尔 以下为:
时间不是治愈者。 304-313 Rüdiger Reischuk公司 , 伯恩德·施梅尔茨 以下为:
提高组合电路可靠性的面积效率方法。 314-326 尤尔根·多恩哈特 以下为:
单特征和多特征分析的故障屏蔽概率。 327-338
语义2
米基·赫尔曼 以下为:
规则闭包的链属性。 339-347 巴利亚特·纳伦德兰 , 乔纳森·斯蒂尔曼 以下为:
Knuth-Bendix完成过程是否生成交叉对尚不清楚。 348-359 弗里德里克·尼克尔 以下为:
领域理论的代数规范。 360-374 阿伊达巴塔雷赫 , V.S.Subrahmanian公司 以下为:
逻辑程序设计中的查询拓扑。 375-387
完整性
马丁·博德利 , 皮埃尔·麦肯齐 , 丹尼斯·塞利安 以下为:
测试成员身份:超越排列组(扩展摘要)。 388-399 恩斯特·梅尔 以下为:
Q上多项式理想的成员是指数空间完备的。 400-406 拉凯什·维尔马 , I.V.罗摩克里希南 以下为:
AC重写的一些复杂性理论方面。 407-420
并发
本特·琼森 , 约阿希姆·帕罗 以下为:
一类非有限状态程序的互模拟等价性判定。 421-433 Bernadette Charron-Bost公司 以下为:
分布式计算的并行性度量。 434-445 彼得·詹卡尔 以下为:
Petri网中Waek公平性的判定。 446-457
形式语言
Jean-Eric别针 , 霍华德·斯特劳宾 , 丹尼斯·塞利安 以下为:
广义星高问题的新结果。 458-467 卡雷尔·库利克二世 , 朱哈尼·卡胡马基 以下为:
关于确定性多带自动机和换能器的等价问题。 468-479 赫尔穆特·塞德尔 以下为:
有限树自动机的等价性判定。 480-492
图形算法
马克·范·克雷维尔德 , 马克·奥弗马斯 以下为:
可连接段树(扩展抽象)。 493-504 安德烈亚斯·施威尔 以下为:
图中的Shorest边不相交路径。 505-516 巴拉·卡利亚纳桑达拉姆 , 乔治·施尼特 以下为:
双人卵石游戏的回合与时间(扩展摘要)。 517-529
系统
玛丽亚·莫兰迪·切奇 , F.纳克里亚 , O.维埃勒 以下为:
AXE:AxIS软件工程环境中使用的可视化语言的语法驱动图编辑器。 530-531 迈克尔·希姆索尔特 以下为:
图形编辑:交互式Garpg编辑器。 532-533 迈克尔·贾格尔 以下为:
示例:依赖于语言的原型环境。 534-535 托马斯·贾诺夫斯基 以下为:
命题动态逻辑公式的可满足性检验。 536 V.凯尔 , 阿尔伯特·迈尔 , 安德烈亚斯·波托夫 , 沃尔夫冈·托马斯 , U.Wermuth公司 以下为:
AMORE:一个计算自动机、MOoids和正则表达式的系统。 537-538 奥洛夫·谢伦 , Nils-Olof Forsgren公司 以下为:
类型理论和CCS的证明系统。 539-540 托马斯·沃尔夫 以下为:
具有共享变量的并行程序的转换符号的实现。 541-543