10.MFCS 1981:Strbske Pleso,捷克斯洛伐克
乔泽夫·格鲁斯卡 , Michal Chytil公司 :
1981年计算机科学数学基础,捷克斯洛伐克Strbske Pleso,1981年8月31日至9月4日,会议记录。 计算机科学课堂讲稿 118, 施普林格 1981 ,国际标准图书编号 3-540-10856-4
特邀报告
乔恩·路易斯·本特利 , 托马斯·奥斯曼 :
操作层次化定义的矩形集的复杂性。 1-15 安德烈·埃尔肖夫 :
转换机器:主题和变奏曲。 16-32 Rusins Freivalds公司 :
概率双向机器。 33-45 黛博拉·约瑟夫 , 保罗·杨 :
弱算术理论中计算复杂性的一些最新结果综述。 46-60 伯恩哈德·科特 , 雷纳·施拉德 :
甲骨文技术综述。 61-77 博克哈德·莫尼恩 , 伊万·哈尔·苏德伯勒 :
时间和空间受限的复杂性类和带宽受限问题(综述)。 78-93 雅罗斯拉夫·内塞特里 :
图的乘积表示及其复杂性。 94-102 安东·尼霍尔特 :
解析策略:简明调查(初步报告)。 103-120 扬·范·列文 , 马克·奥弗马斯 :
动感的艺术。 121-131 莱斯利·瓦利安特 , 斯文·斯库姆 :
使用少量进程快速并行计算多项式。 132-139 吕迪格·瓦尔克 :
Petri网的推广。 140-155
通信
赫尔穆特Alt , 库尔特·梅尔霍恩 , J.伊恩·蒙罗 :
隐式数据结构中的部分匹配检索。 156-161年 哈尼尔·安德雷卡 , 伊斯特凡·内梅蒂 , 伊尔迪克·塞恩 :
Floyd-Provable程序的特征。 162-171年 埃吉迪奥·阿斯泰西亚诺 , 埃琳娜·祖卡 :
CSP的语义通过翻译为CCS。 172-182 乔夫罗伊·博基耶 , 非交换有理函数 :
更多有关无上下文语言的“地理”的信息。 183-192年 简·A·伯格斯特拉 , 曼弗雷德·布罗伊 , 约翰·V·塔克 , 马丁·维辛 :
代数规格说明的威力。 193-204 阿尔贝托·贝托尼 , 布莱姆比拉 , 吉安卡洛·毛里 , 尼科莱塔·萨巴迪尼 :
自由部分交换幺半群理论的应用:迹语言的渐近密度。 205年至2015年 罗纳德·V·书 , 马蒂亚斯·扬岑 , 博克哈德·莫尼恩 , Colmó'Dúnlaing公司 , 西莉娅·拉索尔 :
关于某些系统中单词问题的复杂性(初步报告)。 216-223 弗朗兹·约瑟夫·勃兰登堡 :
关于派生图到派生树的转换(初步报告)。 224-233 安德烈亚斯·布兰德斯特 :
限制使用存储符号的下推自动机。 234-241 卢德米拉·切尔卡索娃 , 瓦迪姆·E·科托夫 :
结构化网络。 242-251 罗伯特·戴利 :
可伸缩性、恢复力和忙碌的海狸套装。 252-261 沃纳·达姆 , 伊雷恩·盖萨里安 :
结合T和N级。 262-270 汉斯·迪特·埃里奇 :
关于实现和实施。 271-280 迪马·格里戈里耶夫 :
交换环上双线性形式的乘法复杂性。 281-286 彼得·哈耶克 :
使动态逻辑成为第一顺序。 287-295 J.霍雷斯 :
程序模式的部分解释。 296-303 尤拉吉·赫龙科维奇(Juraj Hromkovic) :
一路二头确定性有限状态自动机识别的语言族的闭包性质。 304-313 拉迪斯拉夫·贾尼加 :
由多头有限自动机定义的另一个层次。 314-320 杰西·雅洛姆奇克 :
拉宾完全证明概念的推广。 321-326 库尔特·延森 :
如何找到有色Petri网的不变量。 327-338 H.Jung先生 :
概率和确定性磁带复杂性之间的关系。 339-346 Alica Kelemenová :
位置限制语法的语法层次。 347-359 H.C.M.Kleijn先生 , 格列泽戈兹·罗森伯格(Grzegorz Rozenberg) :
比较顺序重写和并行重写的通用框架。 360-368 沃尔特·克诺德尔 :
一种复杂度为O(n log n)且性能为随机极限的装箱算法。 369-378 伊万·科雷克 :
非负整数的编码。 379-388 瓦克拉夫·库贝克 , 安东·里哈 :
网络中的最大k流。 389-397 汉斯·约格·克鲁斯基 , 格列泽戈兹·罗森伯格(Grzegorz Rozenberg) :
有限自动机接受的图语言的构造性描述。 398-409 汉斯·佩特·克里格尔 , 维杰·K·瓦伊什纳维 :
加权多维B树用作近似最优动态词典。 410-417 卢德克·库塞拉 :
平面网络中的最大流量。 418-422 卡尔·J·利伯海尔 :
概率组合优化。 423-432 弗里德海姆·梅耶(Friedhem Meyer auf der Heide) :
通用并行计算机的时间处理器权衡。 433-441 简·皮特 :
确定性右分析器大小的负面结果。 442-451 雅罗斯拉夫·波科恩 :
函数依赖语句系统的密钥等价性。 452-462 简·雷特曼 , 维拉·特伦科娃 :
关于可逆动态代数的表示。 463-472 布拉尼斯拉夫·罗万 :
语法学习框架。 473-482 弗拉基米尔·余(Vladimir Yu)。 萨佐诺夫 :
关于无指数元数学中完全谓词演算的存在性。 483-490 Eljas Soisalon-Soininen公司 , 德里克·伍德 :
论无语境语法的结构相似性。 491-498 斯特凡·索科洛夫斯基 :
程序术语正确性公理。 499-507 路德维希·斯泰格 :
复杂性和熵。 508-514 尤拉杰·斯坦纳 :
间接称谓的公理语义。 515-523 田中胜美 , 川崎雅彦 :
用改进的Chase方法测试连接依赖保持。 524-533 霍斯特·F·韦德 :
使用交互系统解决用餐哲学家问题的无饥饿解决方案。 534-543 克劳斯·维赫劳赫(Klaus Weihrauch) , 吉塞拉·谢弗 :
有效CPO的可接受陈述。 544-553 尤拉杰·维德曼 :
在恒定的预期时间内保持总订单。 554-562 神田亚基拉 :
建构主义范畴理论(第1号)。 563-577
受邀演讲
洛塔尔·布达赫 :
两块鹅卵石不够。 578-589