11.MFCS 1984:捷克斯洛伐克普拉哈
Michal Chytil公司 , 瓦克拉夫·库贝克 :
《1984年计算机科学数学基础》,捷克斯洛伐克普拉哈,1984年9月3日至7日,论文集。 计算机科学讲义 176, 施普林格 1984 ,国际标准图书编号 3-540-13372-0
特邀报告
何塞·巴尔卡扎 :
分离、强分离和折叠相对复杂类。 1-16 亚历山大·奇斯托夫 , 迪马·格里戈里耶夫 :
代数闭域理论中量词消除的复杂性。 17-31 乔泽夫·格鲁斯卡 :
收缩自动机-功率,特征,非均质性。 32-49 克里斯托夫·霍夫曼 :
关于唯一可破译性的一个注释。 50-63 Günter Hotz公司 :
代数语言理论概述。 64-79 马蒂亚斯·扬岑 :
Thue Systems和Church-Rosser地产。 80-95 朱塞佩·隆戈 :
极限、更高类型的可计算性和无类型语言。 96-114 安东尼·马祖基维奇(Antoni W.Mazurkiewicz) :
轨迹、历史、图:过程单体的实例。 115-133 多米尼克·佩林 :
关于自动机和无限词的最新结果。 134-148 佛朗哥·P·普雷斯塔 :
VLSI算法和架构。 149-161 亚历克谢·塞梅诺夫 :
一元理论的决定性。 162-175
通信
尤根·阿尔伯特 :
关于测试集上的Ehrenfeucht猜想及其对偶形式。 176-184 何塞·巴尔卡扎 , 罗纳德·V·书 , 乌韦·舍宁 :
稀疏的神谕、矮人和殿下。 185-193 乔夫罗伊·博基尔 , 洛伊斯·蒂莫尼耶 :
某些形式语言类概率参数的可计算性。 194-204 弗朗兹·约瑟夫·勃兰登堡 :
递归可枚举集的真正形态特征。 205-213 曼弗雷德·布罗伊 :
关于Herbrand-Kleene宇宙的非确定性计算。 214-222 汉斯·迪特·伯克哈德 :
用抽象控制语言研究并发系统的控制。 223-231 安东·塞恩 :
关于Thue-Morse的广义词。 232-239 马雷克·克罗巴克 :
非确定性对于双向计数器来说至关重要。 240-244 杰拉多·科斯塔 , 科林·斯特林 :
CCS中的弱公平和强公平。 245-254 罗伯特·戴利 , 卡尔·H·史密斯 :
归纳推理的复杂性(初步报告)。 255-264 赫伯特·埃德尔斯布伦纳 , 埃莫·韦尔兹尔 :
直线排列和应用中的单调边缘序列(扩展摘要)。 265-272 帕特里斯·恩贾伯特 , 马克斯·米歇尔 :
多进程系统的多排序时序逻辑。 273-281 兹兹斯拉夫·哈巴辛斯基 :
过程逻辑:两个可决定的结果。 282-290 阿明·海默林 , 克劳斯·克里格尔 :
关于迷宫和有限嵌入图的特例搜索。 291-300 马修·轩尼诗 , 科林·斯特林 :
未来的力量完美的程序逻辑。 301-311 尤拉吉·赫龙科维奇(Juraj Hromkovic) :
反转和归零有界多计数器的层次结构。 312-321 尤拉吉·赫龙科维奇(Juraj Hromkovic) :
关于有限自动机中的交替权。 322-329 奥斯卡·H·伊巴拉 , 路易斯·罗西尔 :
一类简单程序的等价问题和正确性公式(扩展抽象)。 330-338 杰西·雅洛姆奇克 :
多边形简单性测试和其他问题的下界。 339-347 马克斯·卡诺维奇 :
不变句的统一独立性。 348-354 朱哈尼·卡胡马基 , H.C.M.Kleijn先生 :
正则语言上形态构成与逆形态构成的等价性。 355-363 沃伊切赫·科瓦尔奇克 :
复杂类的可表示性与形式推理系统的能力之间的一些联系。 364-369 卢德克·库塞拉 :
求线性期望时间内/S,T/-平面网络的最大流量。 370-377 克劳斯·约恩·兰格 :
非确定性对数空间约简。 378-388 阿扬·K·伦斯特拉 :
代数数域上多元多项式的因子分解。 389-396 朱塞佩·隆戈 , 尤金尼奥·莫吉 :
哥德尔数,主形态,组合代数:函数完备性的范畴理论表征。 397-406 阿尔多·德卢卡 , 安东尼奥·雷斯蒂沃 :
整数的表示与语言理论。 407-415 雅罗斯拉夫·莫拉维克 , 帕维尔·普德拉克 :
多面体成员问题的新下界及其在线性规划中的应用。 416-424 A.Sh.Neponjashchaja先生 :
同步确定性下推自动机等价问题的可判定性。 425-432 洛科·德·尼古拉 :
非确定性过程的模型和算子。 433-442 B.约翰·奥门 :
允许任意复杂编辑约束的字符串编辑算法。 443-451 佩卡·奥波宁 , 乌韦·舍宁 :
多项式复杂性核的结构(扩展摘要)。 452-458 托马斯·奥特曼 , 彼得·维德迈尔 :
使用骨架结构解决可见性问题。 459-470 阿克塞尔·波吉内 :
另一种使用子类代数的参数化方法。 471-479 帕维尔·普德拉克 :
分支程序复杂性的下限(扩展抽象)。 480-489 简·雷特曼 , 维拉·特伦科娃 :
从动态代数到测试代数。 490-497 J.M.罗布森 :
指数空间完备决策问题的组合对策。 498-506 沃伊切赫·莱特 :
快速识别下推自动机和上下文无关语言。 507-515 彼得·H·斯塔克 :
多处理器系统及其并发性。 516-525 安德烈·塔莱基 :
代数机构中的自由构造。 526-534 Jerzy Tiuryn公司 , 巴维尔·乌尔兹琴 :
关于比较程序逻辑表达能力的备注。 535-543 克劳斯·瓦格纳 :
关于正则图问题的复杂性(扩展抽象)。 544-552 英戈·韦格纳 :
关于切片函数的复杂性。 553-561 斯坦尼斯拉夫·扎克 :
一次分支程序的指数下界。 562-566
受邀演讲
迈克尔·西普塞 :
复杂性理论中一些问题的拓扑视图。 567-572
通信
Ryszard Danecki公司 :
强循环谓词命题动态逻辑。 573-581