拉马努贾姆，R。（编辑）;桑迪普·森（编辑） FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。 （英语） 1099.68008兹比尔 计算机科学课堂讲稿3821.柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。xiv，566页。(2005). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1063.68008号).索引文章：克里希南德·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。，半完美信息游戏，1-18[Zbl 1172.68540号]罗素·英帕利亚佐，计算复杂性自1980年以来，19-47[Zbl 1172.68478号]雷蒙德·塞德尔，FSTTCS成立25年来数据结构研究的发展，48-59[Zbl 1172.68435号]Natarajan Shankar，逻辑算法推理系统，60-78[Zbl 1172.03311号]伊戈尔·瓦卢基维奇，从逻辑到游戏，79-91[Zbl 1172.68545号]马尼德拉·阿格拉瓦尔，通过伪随机生成器证明下限，92-105[Zbl 1172.68479号]乔尔·斯宾塞，埃尔德魔法，106[Zbl 1172.68680号]爱德华，迈克尔；卡图里瓦拉达拉扬没有核心，没有哭泣。II、 107至115[Zbl 1172.68638号]马克·德·伯格，改进了胖对象联合复杂性的界限，116-127[Zbl 1172.68641号]陈、陶璐；韩婷婷；陆健，关于（chi）-演算中的互模拟同余。（扩展摘要），128-139[Zbl 1172.68552号]Godskesen，Jens Chr。；托马斯·希尔德布兰特，将Howe的方法扩展到具有本地名称的类型化移动嵌入式资源的早期互模拟，140-151[Zbl 1172.68553号]维杰·库马尔；阿特里·鲁德拉，波长分配的近似算法，152-163[Zbl 1172.68683号]拉斐尔·哈辛（Refael Hassin）；丹尼·塞格夫，带对的套装封面问题，164-176[Zbl 1172.68480号]阿纳·阿尔梅达·马托斯，用于分布式移动代码的非双盲，177-188[Zbl 1172.68354号]乌戈·达尔拉戈；马丁·霍夫曼，定量模型和隐含复杂性，189-200[Zbl 1172.68477号]Madhusudan，P。；Thiagarajan，P.S。；杨少发《连接通信过程的MSO理论》，201-212[Zbl 1172.68556号]Křetínsk \345]，Mojmír；艾哈克，沃伊特；斯特雷切克，简，弱扩展PRS的Hennessy-Milner属性的可达性，213-224[Zbl 1172.68543号]张婷；亨尼·B·西普玛（Henny B.Sipma）。；佐哈尔·曼纳，整数约束队列的决策过程，225-237[Zbl 1172.68437号]埃里克·艾伦德；萨米尔·达塔；罗伊，萨姆布达，有向平面可达性问题，238-249[Zbl 1172.68560号]顾晓阳；杰克·H·卢茨。；菲利普·莫瑟，Copeland-Erdös层序的尺寸，250-260[Zbl 1172.11304号]迈索尔、文卡提什；阿米尔·普努利，精炼混合自动机的不可判定边界，261-272[Zbl 1172.68521号]贝拉德，比阿特丽斯；Frank Cassez；谢尔盖·哈达德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。，时间自动机何时弱时间与时间Petri网相似？，273-284 [Zbl 1158.68424号]Muthukrishnan，S。，工作负荷感知Haar小波概要的次二次算法，285-296[Zbl 1172.94461号]甘古利，苏米特；Kesh，Deepanjan；Chandan Saha，跟踪数据库连接大小的实用算法，297-309[Zbl 1172.68450号]帕维尔·克查尔；拉德克·佩拉内克，关于定时系统的采样语义，310-321[Zbl 1172.68537号]迪帕克D'Souza；M.Raj莫汉，最终定时自动机，322-334[Zbl 1172.68499号]阿德苏尔，巴拉特；马达文·穆昆德；Kumar，K.Narayan；瓦苏马提·纳拉亚南，MSC语言的因果闭包，335-347[Zbl 1172.68420号]艾哈迈德·博阿贾尼；哈维尔·埃斯帕尔扎；斯特凡·施温（Stefan Schwoon）；斯特雷切克，简，异步通信多线程软件的可达性分析，348-359[兹比尔1172.68422]安德烈亚斯·巴尔茨；德夫达特·杜巴希；坦西尼，利伯塔德；阿南德·斯利瓦斯塔夫；瑟伦沃斯，多基地车辆路径问题的概率分析，360-371[Zbl 1172.90468号]托马斯·布拉兹迪尔；安东·库切拉，计算无限马尔可夫链子类的预期累积报酬和增益，372-383[Zbl 1172.68539号]马克·雷诺兹《走向CTL*表》，384-395[Zbl 1172.03310号]法语，蒂姆，互模拟量化逻辑：不可判定性，396-407[Zbl 1172.03313号]普拉萨德·贾扬蒂；斯尔詹·彼得罗维奇，对数时间单删除器，多插入器无等待队列和堆栈，408-419[Zbl 1172.68434号]佩里，萨提亚；尼拉吉·米塔尔，监测动态对等分布式系统中的稳定属性，420-431[Zbl 1172.68370号]Patricia Bouyer；Fabrice骑士；尼古拉斯·马基，关于TPTL公司和MTL公司, 432-443 [Zbl 1140.03303号]克里希纳、桑卡拉·纳拉亚南；帕里托什·K·潘迪亚。，量化离散时间演算中的模态强度降低，444-456[Zbl 1172.03320号]亨宁费尔瑙；迈克尔·考夫曼；马蒂亚斯·波茨，通过交叉最小化比较树木，457-469[Zbl 1172.05315号]吉·斯尔巴，关于计算家谱中一致的基因型分配数量，470-482[Zbl 1172.92369号]格勒，斯特凡；马库斯·洛伊，层次结构上的定点逻辑，483-494[Zbl 1172.68542号]乔斯特·恩格尔弗里特；塞巴斯蒂安·马内思，确定性MSO树传感器的等效问题是可判定的，495-504[Zbl 1172.03308号]布鲁诺·科德诺蒂；本顿·麦库恩；斯里拉姆·佩努马查；卡图里瓦拉达拉扬，CES交易所经济的市场均衡：存在性、多样性和计算，505-516[Zbl 1172.91331号]拉达·贾加迪桑；戈帕兰·纳达图尔；维杰·萨拉斯瓦特《测试并发系统：直觉主义逻辑的解释》，517-528[Zbl 1172.68555号]Arai、Toshiyasu；乔治·莫瑟，多时间函数重写系统终止证明，529-540[Zbl 1172.68482号]库切拉，安东尼；斯特拉日奥夫斯克，旧，关于有限状态马尔可夫决策过程的控制器综合，541-552[Zbl 1172.93337号]Ellie D'Hondt；帕南加登，普拉卡什，量子知识推理，553-564[Zbl 1172.68622号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1063.68008号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}（编辑）和textit{S.Sen}（编），FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15-18日。诉讼程序。柏林：施普林格出版社（2005；Zbl 1099.68008） 全文： 内政部