第12届ICALP 1985年:希腊纳夫利翁
威尔弗里德·布劳尔 :
《自动化,语言与编程》,第12次学术讨论会,希腊纳夫普利,1985年7月15日至19日,会议记录。 计算机科学课堂讲稿 194, 施普林格 1985 ,国际标准图书编号 3-540-15650-X型 拉兹洛瓦兹 :
顶点填充算法。 1-14 阿米尔·普努利 :
反应系统语义和逻辑中的线性和分支结构。 15-32 丹尼尔·博基尔 , 莫里斯·尼瓦特 :
关于双限定词的有理因子集。 33-42 迈克尔·本·奥尔 , 密码学基础 , 西尔维奥·米卡利 , 罗纳德·里维斯特 :
签订合同的公平协议(扩展摘要)。 43-52 吉安弗兰科·比拉尔迪 , 佛朗哥·P·普雷斯塔 :
密钥长度对排序区域时间复杂度的影响。 53-62 卢克·博格 :
重复同步快照及其在CSP中的实现(扩展抽象)。 63-70 沃尔特·巴彻 , 安德烈·埃伦菲赫特 , 大卫·豪斯勒 :
衍生关系产生的总监管机构。 71-79 伯纳德·夏泽尔 , 赫伯特·埃德尔斯布伦纳 :
一类点检索问题的最优解。 80-89 伯纳德·夏泽尔 , 列奥尼达斯·吉巴斯 :
分数级联:一种具有几何应用的数据结构技术。 90-100 马雷克·克罗巴克 :
单向多头自动机语言的层次结构。 101-110 理查德·科尔 :
四维分区点集。 111-119 马里奥·科波奥 :
递归定义类型的完备性定理。 120-129 皮埃尔·路易斯·居里 :
分类组合逻辑。 130-139 J.W.de Bakker(德巴克) , Joost N.Kok公司 :
流和流上函数的统一拓扑处理。 140-148 J.W.de Bakker(德巴克) , 约翰·朱尔斯·查·梅耶 , Ernst-Rüdiger Olderog公司 :
一致并发语义中的无限流和有限观察。 149-157 保罗·德·布拉 :
产生水平分解的强加函数依赖性。 158-170 乔斯特·恩格弗里特 , 海科·福格勒 :
高级树传感器的特性。 171-178 菲利普·弗拉乔莱 :
歧义与超越。 179-188 史蒂文·福琼 :
通过翻译实现多边形包含的快速算法(扩展抽象)。 189-198 马丁·福勒 :
确定性和拉斯维加斯素数测试算法。 199-209 哈罗德·加博 , 马蒂亚斯·F·M·斯塔尔曼 :
图形拟阵交集和奇偶校验的有效算法(扩展抽象)。 210-220 Joseph A.Goguen先生 , Jean-Pierre Jouannaud女士 , 何塞·梅塞盖尔 :
有序代数的操作语义。 221-231 卡尔·A·冈特 :
Profinite Poset的通用域技术。 232-243 乔治·汉塞尔 :
Skolem-Mahler-Lech定理的简单证明。 244-249 哈特马尼斯 , 尼尔·伊梅尔曼 :
关于NP$\cap$CoNP的完全问题。 250-259 马修·轩尼诗 :
公平异步通信过程的代数理论。 260-269 玛丽亚·特蕾莎·霍塔拉-冈萨雷斯 , 马里奥·罗德里格斯-阿塔莱霍 :
非确定性正则程序的霍尔逻辑:一个非标准完备性定理。 270-280 卡雷尔·赫巴切克 :
幂域作为代数格(初步报告)。 281-289 马克·杰拉姆 :
从均匀分布随机生成组合结构(扩展抽象)。 290-299 J.霍华德·约翰逊 :
有理等价关系有规则的横截面吗? 300-309 赫尔曼·荣格 :
关于概率时间和空间。 310-317 罗尔夫·卡尔森 , J.伊恩·蒙罗 , 爱德华·罗伯逊 :
有界域上的最近邻问题。 318-327 迈克尔·考夫曼 , 库尔特·梅尔霍恩 :
通过通用交换盒路由。 328-337 韦科·凯尔宁(Veikko Keränen) :
二元字母表上长度一致形态生成的k-重复自由词。 338-347 朱哈·科尔特莱宁 :
每个交换准有理语言都是正则的。 348-355 托马斯·G·库尔茨 , 曼博 :
集合交集的概率分布算法及其分析(初步版本)。 356-362 加德·兰道 , Mordechai M.Yung先生 , 兹维·郭历理 :
同步广播网络中的分布式算法(扩展抽象)。 363-372 金·古德斯特兰·拉森 :
进程之间的上下文相关等效。 373-382 李明(音) :
Kolmogorov复杂性下限(扩展抽象)。 383-393 迈克尔·卢比 , 普拉巴卡尔·拉格德 :
具有良好平均案例行为的双向最短路径算法(初步版本)。 394-403 迈克尔·梅因 , 沃尔特·巴彻 , 大卫·豪斯勒 :
无限无平方CO-CFL的应用。 404-412 佐哈尔·曼纳 , 理查德·沃尔丁格 :
自动扣除中的特殊关系。 413-423 库尔特·梅尔霍恩 , Athanasios K.Tsakalidis公司 :
动态插值搜索。 424-434 佩卡·奥波宁 , 大卫·A·拉索 , 乌韦·舍宁 :
多项式水平性和最大复杂性核。 435-444 Jean-Eric别针 :
自由幺半群的有限群拓扑和p-Adic拓扑。 445-455 塞普·西普 , Eljas Soisalon-Soininen公司 :
关于在高效算法设计中使用关系表达式(扩展抽象)。 456-464 A.普拉萨德·西斯特拉 , 莫舍·瓦尔迪 , 皮埃尔·沃尔珀 :
Büchi自动机的互补问题及其在时序逻辑中的应用(扩展抽象)。 465-474 科林·斯特林 :
CCS子集的完整组合模型证明系统。 475-486 彼得·瓦尔曼 , I.V.罗摩克里希南 :
关于使用阵列处理器的矩阵乘法。 487-496 乌兹·维什金 :
字符串中的最佳并行模式匹配(扩展摘要)。 497-508 作业Zwiers , 威廉·德罗弗 , 彼得·范·埃姆德·博阿斯 :
组成性和并发网络:证明系统的健全性和完整性。 509-519