1985年第5届FCT:德国科特布斯
洛塔尔·布达赫 :
计算理论基础,FCT’85,科特布斯,德国民主共和国,1985年9月9日至13日。 计算机科学课堂讲稿 199, 施普林格 1985 ,国际标准图书编号 3-540-15689-5 玛丽斯·阿尔伯茨 :
交替图灵机的空间复杂性。 1-7 哈尼尔·安德雷卡 , 伊雷恩·盖萨里安 , 伊斯特凡·内梅蒂 :
代数语义和动态逻辑的统一定理。 8-17 何塞·巴尔卡扎 , 约塞普·迪亚斯 , 约阿金·加巴罗 :
关于一些“非均匀”复杂性度量。 18-27 弗兰克·鲍恩诺佩尔 , 赫尔曼·荣格 :
快速平行顶点着色。 28-35 丹尼尔·博基尔 :
穆勒自动机和双无限词。 36-43 乔夫罗伊·博基尔 , Loás Thimonier公司 :
关于形式语言、概率、分页和解码算法。 44-52 安德烈亚斯·布兰德斯特 , 迪特尔·克拉奇 :
关于一些NP-完全图问题对置换图的限制。 53-62 亚历山大·奇斯托夫 :
任意特征域上矩阵秩的快速并行计算。 63-69 Bogdan S.Chlebus公司 :
求解路径系统的算法。 70-79 马克斯·多切特 , 索菲·蒂森 :
基本项重写系统合流的可判定性。 80-89 保罗·E·邓恩 :
仅1次分支程序复杂性的下限。 90-99 安德烈·埃伦菲赫特 , 亨德里克·扬·胡格布姆 , Grzegorz Rozenberg公司 :
关于协调重写。 100-111 菲利普·弗拉乔莱 :
组合结构一般理论的要素。 112-127 Marie-Paule Flé , 杰拉德·鲁卡罗尔 :
并发系统中串行化问题的语言理论方法。 128-145 古德蒙德·斯科夫布杰尔·弗兰德森 :
逻辑编程和替换。 146-158 托马斯·冈德曼 :
上下文无关语言振荡复杂性的下界。 159-166 赫尔曼·荣格 :
将算术转换为布尔电路的深度高效转换。 167-174 雷纳坎普 :
树木的免费措施。 175-190 A.D.科尔舒诺夫 :
覆盖上的离散极值问题。 191-207 瓦克拉夫·库贝克 , 贾娜·克拉斯纳科娃 :
图中连接组件的并行算法。 208-217 伊万·克拉莫西尔 :
基于算法复杂性的有限序列统计测试。 218-226 克劳斯·克里格尔 , 斯蒂芬·瓦克 :
深度为3的布尔公式和n立方体拓扑的下限(初步版本)。 227-233 米尔科·克里瓦内克 , 雅罗斯拉夫·莫拉维克 :
将簇的凸包体积之和最小化的聚类是NP-完全的。 234-241 米尔科·克里瓦内克 , 雅罗斯拉夫·莫拉维克 :
n立方体成员问题的线性比较复杂性。 242-248 克劳斯·约恩·兰格 , 埃莫·韦尔兹尔 :
带断开连接的字符串语法。 249-256 扬·范·列文 , 吉尔·维德曼 :
阵列处理器。 257-268 克里斯托斯·列夫科普洛斯 :
一种用矩形覆盖多边形的快速启发式方法。 269-278 G.S.马卡宁 :
关于自由群理论的可判定性(俄语)=КВоПросуОРаЭреимоСтиТеорииСвобоанонОГруПт。 279-284 斯图亚特·马戈利斯 , Jean-Eric别针 :
群体语言的产物。 285-299 博克哈德·莫尼恩 :
将图嵌入到二叉树中的复杂性。 300-309 M.A.奈特·阿卜杜拉 :
关于逻辑程序的一些拓扑性质。 310-319 伊芙琳·纳尔逊 :
连续序代数的最新结果。 320-330 黑色素 :
是通用电路复杂性下界的下界。 331-340 约翰·雷夫 :
群论中的概率算法。 341-350 克里斯托夫·鲁特诺尔 :
代码的最新结果。 351-360 路易斯·罗西尔 , 徐春燕 :
向量加法系统有界性问题的多参数分析。 361-370 布里吉特·罗佐伊 :
关于双向换能器。 371-379 沃伊切赫·莱特 :
无模糊CFL的并行时间O(log n)识别。 380-389 霍斯特萨克斯 :
关于颜色临界图。 390-401 帕特里斯·塞伯尔德 :
广义Thue-Morse序列。 402-411 Detlef Seese公司 :
三分图和算法的复杂性。 412-421 赫尔穆特·塞德尔 :
非删除宏S文法的二次正则性测试。 422-430 安德烈·塔莱基 , 马丁·威辛 :
连续抽象数据类型:基本机制和结果。 431-441 瓦莱里·瓦尔达尼安 :
单调布尔函数的单动态测试长度。 442-449 杰拉德·维诺 :
枚举组合学和代数语言。 450-464 卢茨·沃克尔 :
关于几种天基在线多计数器自动机。 465-473 海科·福格勒 :
迭代线性控制和迭代单圈下推。 474-483 Gerd Wechsung先生 :
关于NP的布尔闭包。 485-493 英戈·韦格纳 :
所有(单调)布尔函数和单调图属性的临界复杂性。 494-502 Th.Zink公司 :
Shimura曲面的退化和编码理论中的一个问题。 503-511 所罗门·帕西 , 廷科·廷切夫 :
组合PDL中的量词:完备性、可定义性、不完备性。 512-519 皮耶保罗·德加诺 , 洛科·德·尼古拉 , 乌戈·蒙塔纳里 :
CCS的偏序推导。 520-533 库尔特·梅尔霍恩 , 克劳斯·西蒙 :
相交的两个多面体,其中一个是凸的。 534-542
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)