Informatique Théorique et Applications,第34卷
第34卷第1期,2000年1月/2月
埃琳娜·巴库奇 , 萨拉·布鲁内蒂 , 弗朗西斯科·德尔·里斯托罗 :
继承规则和deco-polyominoes。 1-14 罗伊·克罗尔 :
在对象计算中编码FIX。 15-38 卡洛·梅雷盖蒂 , 比阿特丽斯·帕拉诺 :
迭代矩阵乘积和供电的阈值电路。 39-46 扬尼克·盖斯内特 :
关于具有有限解释延迟的代码:一个缺陷定理。 47-60 詹·马努赫 :
为多方通信复杂性构建非常硬的函数。 61-76 卢西安·伊利 , 格列泽戈兹·罗森伯格 , 阿尔托·萨洛马 :
多贷款人无上下文语言的特征。 77-86
2000年3月/4月第34卷第2期
斑腿Evripidis Bampis , 亚里士多利斯·吉安纳科斯 , 亚历山大·卡尔扎诺夫 , 亚尼斯·马努萨基斯 , 伊安妮斯·米利斯 :
一般图与立方图的完美匹配:关于平面和二分情形的注记。 87-98 阿兰·特鲁特 , 大卫·辛普洛特 :
有理转导的迭代。 99-130 谢尔盖·伯克尔 , 玛丽安·莫里伦 :
用于最小写入空间计算的三个生成器。 131-138 玛丽·皮埃尔·贝亚尔 , 奥利维尔纸箱 :
异步滑块映射。 139-156 弗拉基米尔·扎哈罗夫 :
关于一元递归程序等价问题的可判定性。 157-172
2000年5月/6月第34卷第3期
D.阿伦·库马尔 , C.潘都·兰根 :
带区间条件的旅行商问题的近似算法。 173-182 大卫·辛普洛特 , 阿兰·特鲁特 :
联合下的闭包和迭代有理转导的合成。 183-212 汉斯·约阿希姆·比肯豪尔 , 塞巴斯蒂安·塞伯特 :
改进了旅行推销员问题近似性的下限。 213-255
第34卷,第4期,2000年7月/8月
克里斯蒂安·哈格纳 , 安卡·穆斯科尔 :
从O(n log中的正则表达式计算无εNFA 2 (n) )时间。 257-278 马库斯·内贝尔 :
关于组合尝试的Horton-Strahler数。 279-296 朱哈·本卡拉 :
Lindenmayer有理幂级数的Kleene-Schützenberger定理。 297-306 米雷尔·克莱博特 , 伊夫·罗斯 , 伊莎贝尔·瑞尔 :
半交换和部分交换。 307-330
2000年9月至10月第34卷第5期
皮尔雷·科里勒·海姆 :
可逆自动机的下限。 331-341 雅克·贾斯汀 , 劳伦特·维隆 :
用斯图尔曼语和书信体语返回单词。 343-356 维利亚姆·格弗特 , 诺伯特·波佩利 :
单向II验收的空间下限 2 -交流电机。 357-372 雅克·贾斯汀 :
Castelli,Mignosi,Restivo的论文。 373-377 小泽正男 , 西村正美 :
量子图灵机的局部跃迁函数。 379-402 瓦莱里·伯瑟 :
Complexitéet使赛璐珞自动化。 403-423
第34卷,第6期,2000年11月至12月
Osamu Takaki先生 :
强有限扩张子的有限表示性。 425-431 藤田贤一 :
无域[lambda][mu]-演算。 433-466 卢西安·伊利 , 沃伊西奇·普兰多夫斯基(Wojciech Plandowski) :
双变量单词方程式。 467-501 玛丽·皮埃尔·贝亚尔 , 奥利维尔纸箱 :
计算自动机的前缀。 503-514 伊姆里希·弗托 :
切割宽度 第页 -尺寸网格 d日 -银杏树。 515-519 玛丽安·胡查德 , 赫维·迪基 , 埃尔文·勒布朗 :
Galois格作为一个框架来指定构建类层次结构的算法。 521-548 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 , Mimmo Parente公司 :
一种用于同步二维处理器网络的组合方法。 549-564 卢卡·埃特罗 , Anna Ingólfsdóttir女士 , 米克尔·莱克·佩德森 , 简·鲍尔森 :
时间自动机的特征公式。 565-584 珍妮·德沃尔德 :
双异教徒语言的最低等级代码。 585-596
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)