理论计算机科学,第351卷
第351卷第1期,2006年2月14日
马克·达马斯 , Nathalie Revol公司 :
前言。 1 马修·帕克 :
不可数空间一般子集的可判定性的三个概念。 2-13 马丁·齐格勒 :
可计算代数模型中的稳定性与速度。 14-26 郑西忠 , 滇晨路 , 科金宝 :
散度有界的可计算实数。 27-38 阿尔贝托·齐法格利翁 , 彼得罗·迪·贾南托尼奥 :
精确实数的经过认证的草书实现。 39-51 乔里斯·范德霍温 :
使用有效实数进行计算。 52-60 杰西·休斯 , 米拉德·尼基 :
允许的数字集。 61-73 凯斯·布里格斯 :
在python、C++和C中实现精确的实数运算。 74-81 迈克尔·希尔 , 伊恩·罗宾逊 :
使用64位IEEE算法对[0,1]上奇点为1的被积函数求积。 82-100 彼得·科纳鲁普 , 珍妮·米歇尔·穆勒 :
为某些Newton-Raphson迭代选择起始值。 101-110 埃尔维·布罗尼曼 , 纪尧姆·梅尔金德 , 西尔万·皮昂 :
Boost区间算法库的设计。 111-118 尼古拉斯·德拉努 , 吕克·贾林 , 伯特兰·科腾索 :
使用区间算法证明集合是路径连通的。 119-128
第351卷第2期,2006年2月21日
萨维·马哈拉吉 , 卡伦·桑克兰 , 查尔斯·拉特雷 :
前言。 129-130 休伯特·加拉维 , 温德林·塞维 :
进程代数规范的状态空间约简。 131-145 吉莉安·希尔 , 史蒂文·维克斯 :
一种用于配置多级规范的语言。 146-166 阿卜杜萨马德·伊明 , 米夏·鲁西诺维奇 , 盖拉尔·奥斯特 , 帕斯卡·莫利 :
用于副本收敛的操作转换算法的形式化设计和验证。 167-183 亚历山大·纳普 , 斯蒂芬·默兹 , 马丁·维辛 , 朱莉亚·扎佩 :
MTLA和移动UML中移动系统的规范和细化。 184-202 朱莉安娜·库斯特·菲利佩 :
建模并发交互。 203-220 伯恩哈德·莫勒 , 乔治·斯特鲁斯 :
模态算子代数和部分正确性。 221-239 M.Birna van Riemsdijk先生 , 约翰·朱尔斯·查·梅耶 , 弗兰克·S·德·波尔 :
智能代理中计划修订的语义。 240-257 埃罗迪·简·西姆斯 :
用不动点和延迟替换扩展分离逻辑。 258-275 孙萌 , 路易斯·索尔斯·巴博萨 :
组件作为余代数:精化维度。 276-294
第351卷第3期,2006年2月28日
罗德·唐尼 , 迈克尔·兰斯顿 , 罗尔夫·尼德迈尔 :
编辑。 295 大卫·布莱恩特 , 延斯·拉格伦 :
未列出的系统发育树的兼容性是FPT。 296-302 乔纳森·巴斯斯 , 塔里克伊斯兰 :
简化纬纱层次。 303-313 陈一佳(音) , Jörg Flum公司 :
参数化复杂性理论中的小型化问题。 314-336 彼得·达马施克 :
参数化枚举、横向和不完善的系统发育重建。 337-350 迈克尔·R·费罗斯 , 斯特凡·塞德尔 , 格雷厄姆·赖特森 :
关于寻找短分辨率反驳和小的不可满足子集。 351-359 作者赫斯博士 , 贺明开 :
通过三个顶点的无弦路径。 360-371 彼得·赫莱宁(Petr Hlinen) , Detlef Seese公司 :
树、网格和MSO可判定性:从图到拟阵。 372-393 达尼尔·马克思 :
参数化的图分离问题。 394-406 达尼尔·马克思 :
弦图的参数化着色问题。 407-424 马蒂亚斯·穆勒-汉尼曼 , 卡斯滕·魏赫(Karsten Weihe) :
循环装配线调度中的移动策略。 425-436 埃琳娜·普列托·罗德里格斯 , 克里斯蒂安·斯洛珀 :
看着星星。 437-445 文卡特什·拉曼 , Saket Saurabh公司 :
竞赛中反馈集问题及其对偶的参数化算法。 446-458