17.MFCS 1992:捷克斯洛伐克布拉格
伊凡·哈维尔 , 瓦克拉夫·库贝克 :
1992年计算机科学数学基础,第17届国际研讨会,MFCS’92,布拉格,捷克斯洛伐克,1992年8月24日至28日,会议记录。 计算机科学课堂讲稿 629, 施普林格 1992 ,国际标准图书编号 3-540-55808-X型
特邀报告
潘卡杰·K·阿加瓦尔 , 吉里·马图塞克 :
关于半代数集的范围搜索。 1-13 约塞普·迪亚斯 :
图形布局问题。 14-23 克劳斯·约恩·兰格 , 彼得·罗斯马尼思 , 沃伊切赫·莱特 :
无上下文语言的并行识别和排序。 24-36 米莲娜·米哈伊尔 :
关于组合多面体的扩张。 37-49 佩卡·奥波宁 :
神经网络和复杂性理论。 50-61 约翰·V·塔克 , 杰弗里·扎克 :
流代数上的计算理论及其应用。 62-80 乌兹·维什金 :
并行算法中的方法(摘要)。 81 渡边修(Osamu Watanabe) :
关于小描述和相关主题的复杂性。 82-94 尤拉杰·维德曼 :
弱并行机:一类新的物理上可行的并行机模型。 95-111 阿维·威格德森 :
图形连接的复杂性。 112-132
通信
汉娜·巴斯特 , 马丁·迪兹费尔宾格 , 托本·哈格鲁普 :
完美的平行词典。 133-141 伯恩德·贝克尔 , 约阿希姆·哈特曼 :
关于迭代逻辑阵列测试复杂性的几点注记。 142-152 汉斯·约尔格·伯奇克 , 阿尔布雷赫特·霍恩 :
1-L约化的度结构。 153-161 Jin-yi Cai公司 , A.Hemachandra巷 , 乔泽夫·维斯科 :
承诺问题和无歧义计算的使用。 162-171 苏雷什·查里 , 德什·兰扬 , 潘卡杰·罗哈吉 :
关于增量计算的复杂性。 172-180 克里斯蒂安·乔夫鲁特 , 马西米利亚诺·戈德沃尔姆 :
理性转导与计数问题的复杂性。 181-190 休伯特·科蒙 , 玛丽贝尔·费尔南德斯 :
等式公式中的否定消去。 191-199 何塞·费利克斯·科斯塔 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 汉斯·迪特尔·埃里希 :
对象交互。 200-208 皮埃尔·路易斯·居里 , 塞雷斯·哈丁 , 亚历杭德罗·里奥斯 :
替代的强规范化。 209-217 罗伯特·戴利 , 巴拉·卡利亚纳桑达拉姆 :
思维变化的概率型和多元化学习者。 218-226 卡斯滕·达姆 , 马库斯·霍尔泽 , 克劳斯·约恩·兰格 :
迭代形态的并行复杂性与小数字算法。 227-235 丹尼斯·德兰库尔 , Juhani Karhumäki公司 , 米歇尔·拉特奥 , 阿兰·特鲁特 :
关于加权有限自动机的计算能力。 236-245 雷纳·费尔德曼 , 彼得·迈斯利维茨 :
随机交换网络具有哈密顿路径。 246-254 保罗·加斯廷 , 安托万·佩蒂特 :
复杂轨迹的偏序集属性。 255-263 安德烈亚斯·戈德 :
不满意阈值。 264-274 罗博特·歌尔德 :
Petri网的数据流语义。 275-283 伊雷恩·盖萨里安 , 马科斯·贝洛索·佩克索托 :
关于某些DATALOG和DATALOG_neg程序的有界性。 284-297 托本·哈格鲁普 , 奥拉·彼得森 :
并行合并和排序字符串。 298-306 彼得·詹卡尔 , 弗兰蒂斯克先生 , 马丁·普拉特克 :
通过擦除自动机刻画上下文无关语言。 307-314 莉拉·卡里 :
单词的插入和删除:决定论和可逆性。 315-326 弗兰提塞克·卡斯卡克 :
小型通用单状态线性算子算法。 327-335 科西莫·拉伊夫 , 乌戈·蒙塔纳里 :
CC-Paradigm中的移动性。 336-345 克劳斯·约恩·兰格 , 彼得·罗斯马尼思 :
正则语言交集的空问题。 346-354 梁兴 :
关于有限不确定性的有限自动机。 355-363 伊戈尔·利托夫斯基 , Yves Métiver公司 , 埃里克·索佩纳 :
图上局部计算的定义和比较。 364-373 布鲁诺·马丁 :
高效的一维通用元胞自动机。 374-382 Osamu Maruyama公司 , 宫野聪 :
从行走推断树。 383-391 埃尔维拉·马约多莫 :
指数时间中的几乎每个集合都是P-Bi-Immune。 392-400 莫菲 , 阿克塞尔·波涅 :
观察到的并发的函数语义。 401-411 爱德华·奥赫曼斯基 :
用半通信建模并发性。 412-420 约翰·佩德森 :
元胞自动机及其半群的决策问题。 421-429 G.米歇尔·平纳 , 阿克塞尔·波涅 :
关于事件的性质。 430-441 沃尔德马尔·普雷洛夫斯基 , 埃利亚斯·达尔豪斯 , Gerd Wechsung先生 :
三维空间凸包和三角剖分的新并行算法。 442-450 Teodor C.Przymusinski公司 :
良好语义的两个简单特征。 451-462 S.拉梅什 :
高阶通信系统的完全抽象语义。 463-471 尼古拉斯·雷曼 :
重叠网格自动机。 472-482 托马斯·罗斯 , 格哈德·阿尔伯斯 :
在高维空间中保持接近。 483-493 安德鲁·斯齐拉德 , 盛宇(Sheng Yu) , 张开忠 , 杰弗里·沙利特 :
具有多项式密度的正则语言的特征。 494-503 王东明 :
加快特征集计算的策略。 504-510 西莉娅·拉索尔 , 沃尔克·迪克特 , 弗里德里希·奥托 :
一个规则跟踪重写系统和汇流。 511-521