停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第14届FSTTCS 1994：印度马德拉斯

>主页 >会议和研讨会 >FSTTCS公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/1994
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/1994
P.S.Thiagarajan先生:
软件技术和理论计算机科学基础，第14届会议，印度马德拉斯，1994年12月15日至17日，会议记录。计算机科学课堂讲稿880,施普林格 1994，国际标准图书编号3-540-58715-2

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Kozen94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Kozen94
德克斯特·科赞:
平面曲线奇点的有效求解。 1-11

复杂性理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/CouveignesDRS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/CouveignesDRS94
让-马克·库韦恩斯,胡安·弗朗西斯科·迪亚斯·弗里亚斯,米歇尔·德·鲁格蒙特,米克洛斯·桑塔:
关于图可靠性的交互复杂性。 12-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/DietzfelbingerH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/DetzfelbingerH94
马丁·迪兹费尔宾格,马丁·海内:
在一个多维磁带上模拟多个磁带的匹配上限和下限。 24-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/CaussinusL94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/CaussinusL94
埃夫·因果窦,弗朗索瓦·勒米厄:
拟群上计算的复杂性。 36-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/MahajanV94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/MahajanV94
米娜·马哈扬,V.葡萄酒:
非交换计算，深度减少和倾斜电路（扩展抽象）。 48-59

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/CoquandD94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/CoquandD94
蒂埃里·科昆,彼得·戴比杰:
归纳定义和类型理论：导论（初版）。 60-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BroyHNPS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BroyHNPS94
曼弗雷德·布罗伊,乌苏拉·辛克尔,托比亚斯·尼普科,克里斯蒂安·普雷霍弗,比吉特·希德:
功能语言的口译员验证。 77-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Lakshmanan94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Lakshmanan94
Laks V.S.Lakshmanan公司:
不确定性逻辑程序设计的认识论基础。 89-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Tsuiki94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Tsuiki94
Hideki Tsuiki先生:
关于带合并运算符的类型演算。 101-112

算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/FrigioniMN94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/FrigioniMN94
丹尼尔·弗里吉奥尼,阿尔贝托·马切蒂-帕卡米拉,翁贝托·南尼:
单源最短路径问题的增量算法。 113-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/ArikatiM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/ArikatiM94
斯里尼瓦萨·拉奥·阿里卡蒂,阿尼尔·马赫什瓦里:
实现度序列的O（n）算法。 125-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/SubramanianM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/SubramanianM94
C.R.Subramanian公司,C.E.Veni Madhavan公司:
多项式期望时间中的着色半随机图。 137-148

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/托马斯94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Thomas94
沃尔夫冈·托马斯:
规则无限对策中的有限状态策略。 149-158

算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/NandySB94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/NandySB94
Subhas C.南迪,阿拉尼·辛哈,Bhargab B.Bhattacharya公司:
任意障碍物中最大空矩形的位置。 159-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Dahlhaus94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Dahlhaus94网址
埃利亚斯·达尔豪斯:
高效的并行和线性时间序列分裂分解（扩展抽象）。 171-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BiswasPP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BiswasPP94
Supriya Biswas公司,D.奇特拉·普拉萨德,Sudebkumar Prasant Pal公司:
凸可见性问题的算法。 181-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Sen94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Sen94
桑迪普·森:
并行代数决策树的下界，凸壳的复杂性及相关问题。 193-204

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/AmadioP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AmadioP94
罗伯特·阿马迪奥,桑吉瓦·普拉萨德:
位置和故障（扩展摘要）。 205-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/NatarajanCCCC94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/NatarajanCCCC94
V.纳塔拉扬,伊万·克里斯托夫,琳达·克里斯托夫,兰斯·克莱维兰:
过程代数中的优先级和抽象。 217-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KumarP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KumarP94
K.Narayan Kumar,Paritosh K.潘迪亚:
公平ICSP中算子的计算能力。 231-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/YiJ94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/YiJ94
王毅,本特·琼森:
实时通信时序过程网络中时间语言归纳的可判定性。 243-255

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Fortnow公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Fortnow94
兰斯·福特诺:
过去十年我最喜欢的十个复杂性定理。 256-275

统一

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KajiFK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KajiFK94
Yuichi Kaji先生,藤原彻,塔道·卡萨米:
用树自动机求解约束替换下的统一问题。 276-287
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/RameshRS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/RameshRS94
R.拉梅什,I.V.罗摩克里希南,R.C.塞卡尔:
自动驱动的高效子术语统一。 288-299

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Raghavan94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Raghavan94网址
拉加万:
组合优化中的随机逼近算法。 300-317

算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/AroraSSV94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AroraSSV94
维韦克·阿罗拉,桑托什S.万帕拉,Huzur Saran公司,维杰·瓦齐拉尼:
近似算法的有限回溯贪婪模式。 318-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/CrescenziT94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/CrescenziT94
Pierluigi Crescenzi公司,卢卡·特雷维森:
保持可约性的近似方案及其应用。 330-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/HuntMRRRS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/HuntMRRRS94
哈里·亨特三世,马达夫·马拉特,Venkatesh Radhakrishnan公司,S.S.拉维,丹尼尔·罗森克兰茨,理查德·埃德温·斯特恩斯:
使用L-约简的近似方案。 342-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Subramanian94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Subramanian94网站
阿肖克·苏布拉马尼安:
飞溅的解释。 354-365

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsetcs/Desel94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Desel94
约格·德塞尔:
用模位置不等式证明不可解性。 366-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Knapp94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Knapp94
埃德加·纳普:
UNITY逻辑的健全性和完整性。 378-389
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/SavickyW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/SavickyW94
彼得·萨维克,英戈·韦格纳:
不同类型二元决策图之间转换的有效算法。 390-401
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/SiegelS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/SiegelS94
迈克尔·西格尔,弗兰克·A·斯托普:
扩展顺序阶段推理的极限。 402-413

应用算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Estivill-CastroW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Estivill-CastroW94
弗拉基米尔·埃斯蒂维尔·卡斯特罗,德里克·伍德:
快速外部排序的基础（扩展抽象）。 414-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/HookerV94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/HookerV94
约翰·胡克,V.葡萄酒:
可满足性分支规则（扩展抽象）。 426-437
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KapurS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KapurS94
迪帕克·卡普尔,Mahadevan Subramaniam公司:
使用线性算法程序生成诱导方案。 438-449

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。