RAIRO-理论信息学与应用,第46卷
第46卷第1期,2012年1月
谢尔盖·V·阿夫古斯蒂诺维奇 , 朱哈尼·卡胡马基 , 斯维特兰娜·普兹尼纳 :
关于临界因式分解定理的阿贝尔版本。 3-15 Golnaz Badkobeh公司 , 马克西姆·克罗西莫尔 :
无限二进制单词中重复次数最少。 17-31 维罗妮克·布鲁耶尔 , 奥利维尔纸箱 , 亚历山大·迪肯 , 奥利维尔·高文 , 杰夫·威森 :
多个单词的非周期性问题。 33-50 埃米莉·查理尔 , 安妮·拉克鲁斯 , Narad Rampersad公司 :
多维集合在所有抽象计数系统中都是可识别的。 51-65 塞巴斯蒂安·费伦齐 , 帕斯卡·休伯特 :
三个复杂函数。 67-76 安娜·E·弗里德 , 卢卡·赞博尼 :
关于自动无限排列。 77-85 克里斯蒂安·弗劳格尼 , 卡雷尔·克劳达 :
有理基数系统 对 -adic数。 87-106 托马斯·海达 :
语素保留编码三个区间交换的单词集。 107-122 帕斯卡·奥切姆 , 伊莉丝·瓦斯莱特 :
细分图和树的重复阈值。 123-130 安东尼奥·雷斯蒂沃 , 乔瓦娜·罗森 :
关于平衡序列的乘积。 131-145 阿列克谢·萨姆索诺夫 , 阿塞尼·M·舒尔 :
关于阿贝尔重复阈值。 147-163 佩德罗·V·席尔瓦 :
某些自由积的自同态的不动点。 165-179 沃尔夫冈·斯坦纳 :
关于结构(- β )-整数。 181-200
第46卷第2期,2012年4月
尤金尼奥·莫吉 :
引言ICTCS 2010特别版。 201
安德烈亚·波利尼 , 安德烈亚·波尔佐内蒂 , 芭芭拉·雷 :
改进公共管理业务流程的正式方法。 203-229 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
无限康威对策的等价与同余。 231-259 多梅尼科·坎通纳 , 安德烈亚·福米萨诺 , 玛丽安娜·尼科洛西·阿斯蒙多 , 尤金尼奥·乔瓦尼·奥莫多 :
具有互补性的关系式的图形表示。 261-289 阿尔贝托·卡拉罗 , 安东尼诺·萨利布拉 :
简单的lambda术语并不总是简单的。 291-314 劳拉·金布鲁诺 , 萨布丽娜·曼塔奇 :
关于前缀码双向解码用传感器的尺寸。 315-328
第46卷第3期,2012年7月
梅克·阿克维尔德 , 拉斐尔·伯恩哈德 :
单位长度任务的车间作业调度。 329-342 高俊涛 , 胡玉浦 , 李雪莲 :
最佳跳频序列集的线性跨度。 343-354 朱利安·卡萨因 , 弗朗索瓦·尼古拉斯 :
关于半群自由的可判定性。 355-399 Lu Zhao先生 , 乔彦文 :
二元多序列的联合2-adic复杂度。 401-412 乌戈·达尔·拉戈 , 玛格丽塔·佐齐 :
lambda演算的概率操作语义。 413-450 京东 , 刘庆辉 :
对于大小为8的实例,无限后对应问题的不确定性。 451至457
第46卷第4期,2012年10月
乔尔·奥尔雷德 , 乌尔里希·乌尔特斯·尼切 :
k个 -计数自动机。 461-478 阿尔贝托·贝托尼 , 玛丽亚·保拉·比安奇 , 弗拉维奥·达莱桑德罗 :
由具有孤立切点的形式级数定义的语言的正则性。 479-493 玛丽亚·保拉·比安奇 , 乔瓦尼·皮奇奇尼 :
一元概率自动机的范式。 495-510 米夏·卡迪哈克 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 :
仿射Parikh自动机。 511-545 尤尔根·达索 , 弗洛林·马内亚 , 比安卡·特鲁特 :
生成拼接处理器网络。 547-572 昂德雷·克利马 , 利伯·波拉克 :
关于biautomata。 573-592 马丁·库特里布 , 马蒂亚斯·温德兰特 :
串装配系统。 593-613 阿布泽·亚卡里尔马兹 :
单向和实时量子机的优势。 615-641
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)