25.MFCS 2000：斯洛伐克布拉迪斯拉发
莫根斯·尼尔森 , 布兰尼斯拉夫·罗万 :
2000年计算机科学数学基础，第25届国际研讨会，MFCS 2000，斯洛伐克布拉迪斯拉发，2000年8月28日至9月1日，会议记录。 计算机科学课堂讲稿 1893, 施普林格 2000 ，国际标准图书编号 3-540-67901-4
受邀会谈
西尔瓦诺·达尔·齐利奥 
, 安德鲁·戈登 :
区域分析和带群的pi-Calculus。 1-20 詹姆斯·H·达文波特 :
计算机代数中的抽象数据类型。 21-35 卡米尔·德米特里斯库 , 朱塞佩·F·意大利 :
我们从实验算法中学到了什么？ 36-51 拉杜·格罗苏 :
和/或层次结构和圆形抽象。 52-63 伊迪丝·赫玛斯潘德拉 , A.Hemaspandra巷 :
计算政治：选举制度。 64-83 Phokion G.Kolaitis公司 , Moshe Y.瓦尔迪 :
存在二阶逻辑碎片的0-1定律：综述。 84-98 扬·范·列文 , 吉尔·维德曼 :
关于算法和交互。 99-113 Shmuel Zaks公司 :
ATM网络布局中对偶性和几何的使用。 114-131
已投稿论文
法里德·M·阿卜拉耶夫 , 艾达·盖努蒂诺娃 :
关于单向量子自动机的下限。 132-140 萨姆森·阿布拉姆斯基 , 玛丽娜·莱尼萨 :
ML多态类型的公理化完全完备模型。 141-151 克劳斯·安布罗斯·斯皮斯 :
指数时间类的度量理论完整性概念。 152-161 拉利·巴里埃 , 约塞普·法布雷加 :
弦环的边剖分。 162-171 大卫·A·米什·巴林顿 , 皮埃尔·麦肯齐 , 克里斯托弗·摩尔 , 帕斯卡·泰森 , 丹尼斯·塞利安 :
有限幺半群的方程可满足性和程序可满足性。 172-181 非交换有理函数 , 吕克·博阿松 :
XML语法。 182-191 特蕾丝·比德尔 , 布隆娜·布列乔娃 , 托马斯·维纳尔 :
简化流网络。 192-201 特蕾丝·比德尔 , 埃文·塞内克 , 蒂莫西·M·陈 , 埃里克·D·德曼 , 马丁·L·德曼 , 鲁道夫·弗莱舍 , 王明伟 :
平衡的 k -颜色。 202-211 弗兰克·S·德·波尔 , 马塞洛·M·邦桑格 :
汇流动态数据流网络的组合模型。 212-221 比特·博利格 :
受限的非确定性一次读取分支程序和整数乘法的指数下界。 222-231 帕特里夏·鲍耶 , 凯瑟琳·杜福尔德 , 伊曼纽尔·弗勒里 , 安托万·佩蒂特 :
可更新时间自动机的表现力。 232-242 托马斯·布赫霍尔茨 , 安德烈亚斯·克莱恩 , 马丁·库特里布 :
具有小时间限制的迭代数组。 243-252 罗斯蒂斯拉夫·卡哈 , 彼得·格雷戈 :
将Fibonacci立方体嵌入到超立方体中 欧米茄 (2 中国 )故障节点。 253-263 阿图罗·卡皮 , 阿尔多·德卢卡 :
周期性类似单词。 264-274 奥利维尔纸箱 , 沃尔夫冈·托马斯 :
形态无限词的一元理论及其推广。 275-284 弗朗西斯科·科马拉斯 , 玛格丽达·米贾纳 , 拉塔·纳拉亚南 , 雅罗斯拉夫·奥帕特尼 :
圆环中均匀实例的光路由。 285-294 克莱莉亚·德·费利塞 :
分解码与Schützenberger猜想。 295-303 Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 , 横滨电机株式会社 :
使用交集类型的lambda-Terms的组成特征。 304-313 斯特凡·多布雷夫 :
面向异步的完整网络中时间和消息的最优领导者选举。 314-322 阿诺德·杜兰德 , 米基·赫尔曼 , Phokion G.Kolaitis公司 :
计算复杂性类的减法约简和完全问题。 323-332 托德·埃伯特 , 赫里贝特·沃尔默 :
关于随机序列的自约性。 333-342 佐尔坦·埃西克 :
布尔函数的迭代理论。 343-352 阿兰·芬克尔 , 格雷戈伊尔·苏特雷 :
一种构造半线性柱的算法 * 用于2-Dim重置/传输VASS。 353-362 迪米特里斯·福塔基斯 , Sotiris E.Nikoletseas公司 , Vicky G.帕帕佐普洛 , 保罗·G·斯皮拉基斯 :
平面图辐射着色的NP-完全性结果和有效逼近。 363-372 菲利普·加德纳 , 卢西安·维希克 :
明确融合。 373-382 简·弗里索·格鲁特 , 雅各·范德波尔 :
使用部分τ-对流的状态空间约简。 383-393 A.Hemaspandra巷 , Mitsunori Ogihara公司 , Gerd Wechsung先生 :
减少NP函数的解数。 394-404 杰斯珀·亨利克森 , 马达瓦恩·穆昆德 , K.Narayan Kumar , P.S.Thiagarajan先生 :
定期收集消息序列图。 405-414 马库斯·霍尔泽 , 皮埃尔·麦肯齐 :
交替和清空交替辅助堆栈自动机。 415-425 奥斯卡·H·伊巴拉 , 苏建文 , 哲当 , 特夫菲克·布尔坦 , 理查德·凯默勒 :
Conter Machines:可判定属性及其在验证问题中的应用。 426-435 岩岛和雄 , 松浦明弘 , 迈克·帕特森 :
NFA家族需要2个 n个 - 阿尔法 决定性国家。 436-445 克劳斯·詹森 , 洛兰特·波科拉布 :
专用处理器上的抢占调度：分数图着色的应用。 446-455 昂德雷·克利马 , 吉尔·斯尔巴 :
匹配模关联性和幂等性是NP-完全的。 456-466 斯文·科苏布 :
关于偏序集上的NP-划分及其在减少NP问题解集上的应用。 467-476 丹尼尔·克拉尔 :
奇偶序二元决策图的代数性质和唯一性及其推广。 477-487 沃纳·库伊奇 :
代数上的形式级数。 488-496 奥尔娜·库普夫曼 , Moshe Y.瓦尔迪 :
µ-微积分合成。 497-507 格雷戈里·拉菲特 , 雅克·马佐耶 :
LOGSPACE！=的无限版本 P与集合论的公理是一致的。 508-517 拉格罗·拉诺特 , 安德烈亚·马吉奥洛·谢蒂尼 :
单调活动的时间自动机。 518-527 瓦迪姆·洛津 :
关于双补可约图的一个推广。 528-538 奥利维尔·李 :
自动图形和图形 D类 0 L（左） -系统。 539-548 萨布丽娜·曼塔奇 , 文森特·德·布隆德尔 , 让·梅莱斯 :
（max，+）半环上的双线性函数和树。 549-558 安吉洛·蒙塔纳里 , 阿尔贝托·波利克里蒂 , 马蒂奥·斯莱尼娜 :
通过集合论中的翻译实现局部量化模态逻辑中的可导性。 559-568 乌戈·蒙塔纳里 , 马可·皮斯托尔 :
pi-微积分、结构化余代数和最小HD-自动机。 569-578 大卫·佩莱 :
图的信息标记方案。 579-588 霍尔格·彼得森 :
反弹自动机的分离结果。 589-598 乔瓦尼·皮奇奇尼 :
一元下推自动机和辅助空间下限。 599-608 雅各·范德波尔 , 汉斯·赞特玛 :
通过碎片重写的二进制决策图。 609-618 利昂诺·普伦萨·尼托 , 哈维尔·埃斯帕扎 :
在Isabelle/HOL中使用Owicki Gries验证单突变和多突变垃圾收集器。 619-628 亚历山大·莫西·拉宾诺维奇 , 沙哈尔·毛兹 :
为什么这么多时间逻辑爬上了树？ 629-639 斯特芬·赖斯 , 赫里贝特·沃尔默 :
命题演算和约束满足问题的最优可满足性。 640-649 彼得·萨维克 , 德特勒夫·西林 :
具有受限奇偶性非确定性的一次读取分支程序的层次结构结果。 650-659 托马斯·施温蒂克 :
在树上潜水。 660-669 田中美姬 :
线性活页夹的抽象语法和变量绑定。 670-679 Tanguy Urvoy公司 :
同余图的正则性。 680-689 克劳斯·威奇 :
次线性歧义。 690-698 山本弘（Hiroaki Yamamoto） :
一种基于自动机的半扩展正则表达式识别算法。 699-708
