马尼德拉·阿格拉瓦尔(编辑);阿尼尔·赛斯(编辑) FST TCS 2002:软件技术和理论计算机科学基础。第22届会议,印度坎普尔,2002年12月12日至14日。诉讼程序。 (英语) Zbl 1014.00021号 计算机科学课堂讲稿. 2556. 柏林:斯普林格。xi,359页(2002年)。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查(参见Zbl 0977.00041号).索引文章:伦斯特拉,H.W.jun。,高斯周期的素数测试,1[Zbl 1027.68984号]哈里·梅森。,从Hilbert空间到Dilbert空间:上下文语义变得简单,2-17[Zbl 1027.68080号]戴尔·米勒;Tiu,Alwen先生,编码通用判断,18-32[Zbl 1027.68032号]Ong,C.-H.L。,模型检查使用游戏语义的类算法语言,33-36[Zbl 1027.68615号]玛格斯·维纳斯,建模软件:从理论到实践,37-46[Zbl 1027.68524号]阿德苏尔,巴拉特;米林德·索霍尼,迹上逻辑的局部范式,47-58[Zbl 1027.68085号]Böckenhauer,Hans-Joachim;德克·邦加茨;胡拉杰Hromkovič;拉夫·克拉辛;Proietti,Guido;塞伯特·塞巴斯蒂安;沃尔特·昂格,关于带锐化三角形不等式的完备图中构造最小2-连通生成子图的困难,59-70[兹比尔1027.68097]米歇尔·布格列西;西尔维亚·克拉法;马西莫·梅罗(Massimo Merro);弗拉迪米罗·萨松,移动装箱环境中的通信干扰,71-84[兹比尔1027.68086]朱塞佩·卡斯塔尼亚;弗朗西斯科·扎帕·纳德利,《重新审视密封演算:上下文等价性和双相似性》,85-96[Zbl 1027.68088号]费德里科·克拉佐拉拉;格林·温斯克尔,组成链空间,97-108[Zbl 1027.68089号]Dawar,A。;Kreutzer,S。,有限结构模态特性的自动概括,109-120[Zbl 1027.68081号]斯特凡·德姆里;迪帕克·D’Souza,约束LTL的自动机理论方法,121-132[Zbl 1027.03027号]Joan Feigenbaum;阿文德·克里希纳穆尔西;拉胡尔·萨米;斯科特·申克,多播成本分担的硬结果,133-144[Zbl 1027.68502号]阿兰·芬克尔(Alain Finkel);杰罗姆·勒鲁《如何撰写Presburger加速:广播协议的应用》,145-156[Zbl 1027.68616号]卡斯滕·弗里茨(Carsten Fritz);托马斯·威尔克,交替Büchi自动机的状态空间约简。模拟等效商,157-168[Zbl 1027.68075号]维杰·加格。,基于切片偏序集的算法组合学,169-181[Zbl 1027.68093号]Gramm,Jens;郭炯;罗尔夫·尼德迈尔,弧注释序列的模式匹配,182-193[兹比尔1027.68653]伯恩哈德·海尼曼《关于时间密集流动的知识》(从混合观点来看),194-205年[Zbl 1027.03012号]黄成明;托马斯·蒂拉夫,惯性的复杂性,206-217[Zbl 1027.68063号]杰恩(Jain)、拉胡尔(Rahul);贾库马尔·拉德哈克里希南;普拉纳布·森,指针追踪问题的量子通信复杂性:比特版本,218-229[Zbl 1027.68065号]Korovin、Konstantin;安德烈·沃伦科夫,一元签名中Knuth-Bendix阶一阶理论的可判定性,230-240[Zbl 1027.03007号]基斯特,拉尔夫;托马斯·威尔克,确定(mu)-演算交替层次的第一级,241-252[Zbl 1027.03030号]Martin Leucker;Madhusudan,P。;Supratik Mukhopadhyay公司,动态消息序列图,253-264[Zbl 1027.68082号]塞巴斯蒂安·马内思,确定性树传感器组成的复杂性,265-276[Zbl 1027.68078号]米什拉,S。;Radhakrishnan,J。;西瓦苏布拉曼尼亚,S。,关于近似最小垄断问题的难度,277-288[Zbl 1027.90100号]马达瓦恩·穆昆德,遗传历史保存互模拟对于标记系统是可判定的,289-300[Zbl 1027.68090号]Naidu,K.V.M。;H·拉梅什。,将图嵌入特征较小的图的下限,301-310[Zbl 1027.68064号]瑜伽士Sabharwal;Nishant Sharma;桑迪普·森,最近邻搜索使用球中的点位置,并应用于近似Voronoi分解,311-323[Zbl 1027.68042号]普拉萨德·西斯特拉,序列数据库中基于相似性检索的形式语言和算法,324-335[兹比尔1027.68584]沃尔特·福格勒;拉尔夫·沃洛夫斯基,异步电路设计中的分解,336-347[Zbl 1027.68643号]大卫·R·伍德。,队列布局、树宽和三维图形绘制,348-359[Zbl 1027.68647号] 引用于1审查引用于2文件 MSC公司: 00B25型 其他特别感兴趣的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:FST TCS 2002;软件技术基础;理论计算机科学;坎普尔(印度) 引文:Zbl 0977.00041号 PDF格式BibTeX公司 XML格式引用 \textit{M.Agrawal}(编辑)和\textit{A.Seth}(编),FST TCS 2002:软件技术和理论计算机科学基础。第22届会议,印度坎普尔,2002年12月12-14日。诉讼程序。柏林:施普林格出版社(2002;Zbl 1014.00021) 全文: 内政部 链接