阿伦·库马尔，S。（编辑）；纳文·加格（编辑） FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。 （英语） Zbl 1132.68001号 计算机科学课堂讲稿4337.柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。xiii，430页。(2006). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1099.68008号).索引文章：柴塔尼亚·斯瓦米；大卫·B·什莫伊斯。，2阶段随机优化问题的近似算法，5-19[Zbl 1177.90302号]埃莫州韦尔兹尔，平面内有限点集上无交叉构型的个数，20[Zbl 1177.68242号]泰马尔·戴伊。；孙健、噪声点云的法线和特征近似值，21-32[Zbl 1177.68237号]萨里尔·哈普莱德，离散集成和集群的核心集，33-44[Zbl 1177.68238号]弗洛伦特·贝克尔；伊万·拉帕波特；埃里克·雷米拉，具有最少瓷砖数量的形状的自组装类，在最佳时间，45-56[Zbl 1162.68466号]坦莫伊查克拉波蒂；萨米尔·达塔，单输入面MPCVP对L来说很难，但在LogDCFL中，57-68[Zbl 1177.68099号]Krishnan，K.Murali；L.Sunil Chandran，求Tanner图中停止距离问题的近似结果的硬度，69-80[Zbl 1177.68097号]Michael A.Bekos。；迈克尔·考夫曼；波提卡、卡特琳娜；安东尼奥斯·西姆沃尼斯，多层边界标记问题，81-92[Zbl 1177.68151号]Pankaj K.阿加瓦尔。；塞尔吉奥·卡贝洛；塞拉雷斯，J.安东尼；米查·谢里尔，计算中心横向线，93-104[Zbl 1177.68235号]Kalyanaraman，Shankar；克里斯托弗·乌曼斯，关于从纠错码中获得伪随机性，105-116[兹比尔1177.94198]加里内斯库，格鲁亚；迈克尔·J·佩尔斯马赫。，使用固定颜色数量的快速边缘着色，以最小化不平衡，117-128[Zbl 1177.68152号]查克拉波蒂，苏拉夫；贾库马尔·拉德哈克里希南；南达库马尔Raghunathan；普拉珊·萨萨特，（q/（q-1）信道的零错误列表编码容量，129-138[Zbl 1177.94119号]苏什米塔·古普塔；Raman，Venkatesh；萨科特·索拉布，最大正则诱导子图问题的快速指数算法，139-151[Zbl 1177.68154号]福明，Fedor V。；法布里西奥·格兰多尼；迪特尔·克拉奇，求解连通支配集的速度快于\（2^{n}\），152-163[Zbl 1170.68545号]谢孙元，不同物种系统发育树上两个亚树比较问题的线性时间算法，164-175[Zbl 1177.92025号]Cortier，Véronique公司；史蒂夫·克莱默（Steve Kremer）；基斯特，拉尔夫；沃林斯基，博格丹，存在散列函数时计算可靠的符号保密性，176-187[Zbl 1177.94142号]Pavan，A。；拉胡尔·桑坦南；维诺德钱德兰，N.V。，关于多项式层次中的平均表面硬度的一些结果，188-199[Zbl 1177.68096号]本杰明·多尔；克里斯蒂安·克莱恩，有理矩阵的无偏舍入，200-211[Zbl 1177.60009号]米歇尔·乌梅尔斯，无限多人游戏中的理性行为和策略构建，212-223[Zbl 1177.91060号]哈默，罗斯；奥利维·洛朗《重新审视天真的解剖》，224-235[兹比尔1177.03023]何塞·德斯哈奈斯；弗朗索瓦·拉维奥莱特；萨米人Zhioua，通过强化学习测试概率等效性，236-247[Zbl 1177.68145号]劳拉·博泽利；Křetínský，莫伊米尔；艾哈克，沃伊特；斯特雷切克，简，关于过程重写系统LTL模型检查的可判定性，248-259[Zbl 1177.68143号]安德烈亚斯·鲍尔；Martin Leucker；克里斯蒂安·夏尔哈特，实时属性监控，260-272[Zbl 1177.68141号]Dax，Christian；马丁·霍夫曼；马丁·兰格，线性时间微积分的证明系统，273-284[Zbl 1163.03308号]蒂埃里·卡查特，树自动机简化序数理论，285-296[Zbl 1177.03044号]阿拉尔科恩（Alarcón），Beatriz；古铁雷斯，劳尔；萨尔瓦多卢卡斯，上下文相关依赖项对，297-308[Zbl 1177.68133号]Grßer，马库斯；诺曼，格钦；克里斯特尔·拜尔（Christel Baier）；Frank Ciesinski；玛尔塔·奎亚特科夫斯卡；大卫·帕克，关于概率报酬模型的约简标准，309-320[Zbl 1177.68150号]保罗·加斯丁（Paul Gastin）；纳塔利·斯兹纳杰德；马克·泽顿，用于良好连接架构的分布式合成，321-332[Zbl 1177.68146号]穆罕默德·雷扎·穆萨维；菲利普斯，伊恩；米歇尔·A·雷尼尔。；伊雷克·乌利多夫斯基，有序SOS的含义，333-344[Zbl 1177.68140号]Patricia Bouyer；Larsen，Kim G。；尼古拉斯·马基（Nicolas Markey）；雅各布·伊勒姆拉斯穆森，在一个时钟定价的计时游戏中几乎是最佳策略，345-356[兹比尔1177.68142]迪迪埃·加尔米奇（Didier Galmiche）；多米尼克·拉切·温德林（Dominique Larchey-Wendling），布尔BI通过关系模型的表达式属性，357-368[Zbl 1168.03326号]Fabrice骑士；迪帕克D'Souza；帕维特拉·普拉巴卡，关于具有输入确定保护的连续时间自动机，369-380[Zbl 1177.68136号]兰科·拉齐奇，安全冻结LTL，381-392[Zbl 1177.68147号]拉吉耶夫，阿卢尔；斯瓦拉特·乔杜里，分支下推树自动机，393-404[Zbl 1177.68135号]加里·瓦瑟曼（Gary Wassermann）；苏振东，线性算术约束下有限自动机的有效性检查，405-416[兹比尔1177.68148]J.莱尔德。，高阶并发的游戏语义，417-428[Zbl 1177.68139号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1099.68008号 PDF格式BibTeX公司 XML格式引用 \textit{S.Arun-Kumar}（编辑）和\textit{N.Garg}（编），FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13-15日。诉讼程序。柏林：施普林格出版社（2006；Zbl 1132.68001） 全文： 内政部