×

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号]

MSC公司:

00B25型 其他特别感兴趣的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接