信息与计算,第204卷
第204卷第1期,2006年1月
克劳斯·佩特·施诺尔 :
快速LLL型晶格还原。 1-25 约夫·罗德 , 奥弗·斯特里赫曼 :
构建小型等式图,以确定具有未解释函数的等式逻辑。 26-59 罗宾·米尔纳 :
纯双图:结构和动力学。 60-122 桑杰·贾恩 , Efim B.Kinber公司 :
从积极的数据和有限的查询中学习语言。 123-175
第204卷第2期,2006年2月
里卡德·加瓦尔达 , 帕斯卡·泰森 , 丹尼斯·塞利安 :
学习幺半群上的表达式和程序。 177-209 奥利维尔·伯内斯 , 菲利佩·库克 , 波林·雅各布·德·诺鲁瓦 , 珍妮·伊夫·马里恩 :
任意结构上的隐含复杂性:量词交替。 210-230 萨米·阿贝斯 , 阿尔伯特·本韦尼斯特 :
真正一致的概率模型:事件结构的分支单元和分布概率。 231-274 茨维卡·哈特曼 , 罗恩·沙米尔 :
一种简单快速的1.5近似算法,用于转置排序。 275-290 Niv Buchbinder公司 , 埃雷斯·彼得兰克 :
获得历史独立性的上下限。 291-337
第204卷第3期,2006年3月
卢卡-保利尼 :
一种稳定的编程语言。 339-375 罗伯托·贾科巴齐 , 弗朗西斯科·兰扎托 :
模型检查中状态w.r.t.迹线的不完整性。 376-407 托马斯·布里海耶 , 维罗妮克·布鲁耶尔 , Jean-François Raskin女士 :
关于带秒表观测器的模型检查时间自动机。 408-433
第204卷第4期,2006年4月
杰里·阿达梅克 , 斯特凡·米利乌斯 :
特刊:2004年第七届计算机科学中的协代数方法研讨会。 435-436 维南西奥·卡普雷塔 , 塔尔莫·乌斯塔卢 , 瓦尔莫·维尼 :
来自comonads的递归余代数。 437-468 Corina Cêrstea科瑞纳·科斯特 :
定义和描述仿真概念的模块化方法。 469-502 文森特·达诺斯 , 何塞·德沙奈斯 , 弗朗索瓦·拉维奥莱特 , 普拉卡什·帕南加登 :
概率系统的互模拟和同余。 503-523 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
比较姓名传递过程计算的操作模型。 524-560 雅各布施 :
递归方程共导解的分布规律。 561-587 马可·基克 , 约翰·鲍尔 , 亚历克斯·辛普森 :
定时进程的Coalgebraic语义。 588-609 劳伦斯·莫斯 , 伊格纳西奥·维格利佐 :
可测空间上函子的最终余代数。 610-636 Yde Venema公司 :
自动机和不动点逻辑:一个联合的观点。 637-678
第204卷,第5期,2006年5月
塞尔吉奥·弗莱斯卡 , 菲利波·弗法罗 , 塞尔吉奥·格雷科 :
半结构化数据库上的加权路径查询。 679-696 菲利普·杜雄 , 尼古拉斯·哈努塞 , 纳赛尔·萨赫布 , Akka Zemmari公司 :
在集合模型中广播。 697-712 亚历山大·拉宾诺维奇 :
概率有损信道系统的定量分析。 713-740 拉尔斯·艾利克·丹尼尔森 , T.亚伦·格列佛 , 马修·杰弗里·帕克 :
布尔函数的非周期传播准则。 741-770 保罗·马特乌斯 , Amílcar Sernadas公司 :
外生量子命题逻辑的弱完备公理化。 771-794 吉尔吉斯·多萨 , 雍和 :
带有拒收惩罚的箱子包装问题及其双重问题。 795-815 玛尔塔·阿里亚斯 , 亚伦·菲格尔森 , 罗尼·哈顿 , 洛科·A·塞韦迪奥 :
命题类的多项式证明。 816-834 维克拉曼·阿文德 , 皮尤什·库鲁尔 :
图同构在SPP中。 835-852
第204卷第6期,2006年6月
阿奇姆·布卢门萨特 , 布鲁诺·库塞尔 :
可识别性、超图操作和逻辑类型。 853-919 布莱斯·基内斯特 , 迪特里希·库斯克 , 安卡·穆斯科尔 :
存在有界通信自动机的Kleene定理和模型检查算法。 920-956 雅各布·格鲁·西蒙森 :
无限项重写中的模块性。 957-988 魏洛 , 奥利弗·舒尔特 :
改变思维,高效学习。 989-1011
第204卷,第7期,2006年7月
约翰·鲍德温 , 马可·马祖科 :
确定性理论和极限定律。 1013-1022 亚历山大·拉宾诺维奇 , 菲利普·施诺贝伦 :
BTL公司 2 以及ECTL的表达能力 + . 1023-1044 邓玉欣 , 戴维德·桑吉奥吉 :
确保按类型终止。 1045-1082 简·A·伯格斯特拉 , 科内利斯·A·米德尔堡 :
拆分共刺激和回顾性条件。 1083-1138 杰里·阿达梅克 , 斯特凡·米利乌斯 :
终端余代数和自由迭代理论。 1139-1172 刘丽华 , 曹正军 :
关于计算字 N个 (2) 及其应用。 1173-1178 吕继强 :
在两个DES实现上,可防止智能卡中的差分功率分析。 1179-1193
第204卷第8期,2006年8月
克里斯汀·哈克 , 阿兰·杰弗里 :
与图案匹配的细颗粒。 1195-1263 洛伦佐·卡卢奇 , 桑杰·贾恩 , Efim B.Kinber公司 , 弗兰克·斯蒂芬 :
U形学习的变化。 1264-1294 大卫·诺瓦 :
同步结构。 1295-1324
第204卷第9期,2006年9月
彼得·斯特芬 , 罗伯特·吉格里奇 :
动态编程中的表格设计。 1325-1345 马丁·兰格 :
带chop的不动点逻辑中的交替层次也很严格。 1346-1367 哈坎·L.S.Younes , 里德·西蒙斯 :
统计概率模型检查,重点关注有时间限制的属性。 1368-1409
第204卷,第10期,2006年10月
亚历山德罗·阿曼多 , 克里斯托夫·林盖森 :
关于组合逻辑系统的特别问题。 1411-1412 弗兰兹·巴德 , 西尔维奥·吉拉尔迪 , 塞萨尔·蒂内利 :
针对词问题的一种新的组合过程推广了融合可判定性,从而产生了模态逻辑。 1413-1452 哈拉尔德·甘津格 , Viorica Sofronie-Stokkerman公司 , 乌韦·沃尔德曼 :
具有Evans等式的部分函数的模证明系统。 1453-1492 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , Tommi A.Junttila女士 , 西尔维奥·兰伊斯 , 彼得·范·罗苏姆 , 罗伯托·塞巴斯蒂亚尼 :
通过布尔搜索进行有效的理论组合。 1493-1525 Ting Zhang(张婷) , 亨尼·B·西普玛 , 佐哈尔·曼纳 :
整数约束项代数的判定过程。 1526-1574 贾蒙 , 克莱尔·奎格利 , 劳伦斯·保尔森 :
交互式证明自动化:第一个原型。 1575-1596
第204卷第11期,2006年11月
沃尔克·迪克特 , 保罗·加斯廷 :
对于Mazurkiewicz轨迹,纯粹的未来局部时序逻辑是完全的。 1597-1619 本瑟姆 , Jan van Eijck先生 , Barteld P.Kooi先生 :
沟通和变革的逻辑。 1620-1662 伊曼纽尔·基伦斯基 :
关于具有传递保护的二元保护碎片的复杂性。 1663-1703 尼尔·艾隆 , 伯纳德·夏泽尔 :
信息论在高维属性测试和单调性测试中的应用。 1704-1717 克里斯蒂安·卡鲁德 , 迈克尔·斯塔 :
自然停止概率、部分随机性和zeta函数。 1718-1739
第204卷第12期,2006年12月
阿尔托·萨洛马 , 盛宇(Sheng Yu) :
子单词条件和子单词历史记录。 1741-1755 Ernst-Erich Doberkat先生 :
随机关系的Eilenberg-Moore代数。 1756-1781 萨尔瓦多·卢卡斯 :
通过转换证明上下文敏感重写的终止。 1782-1846
克里斯蒂安·赫尔曼 :
“关于嵌入式多值数据库依赖关系之间含义的不确定性”的勘误表【Inform.and Compute.122(1995)221-235】。 1847-1851