停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第22届FOCS 1981年：美国田纳西州纳什维尔

>主页 >会议和研讨会 >光纤通信系统

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/focs/FOCS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/FOCS22
第22届计算机科学基础年度研讨会，1981年10月28日至30日，美国田纳西州纳什维尔。 IEEE计算机学会 1981

第1a课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Leighton公司81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/雷顿81
弗兰克·汤姆森·莱顿:
超大规模集成电路的新下限技术。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/LiptonV81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/LiptonV81
理查德·利普顿,雅各布·瓦尔德斯:
人口普查功能：VLSI上限方法（初步版本）。 13-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/LeisersonS81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/LeisersonS81
查尔斯·雷瑟森,詹姆斯·萨克斯:
优化同步系统。 23-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/KedemZ81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/KedemZ81
Zvi M.凯登,亚历山德罗·佐拉特:
超大规模集成电路中输入与通信/计算的关系（初步报告）。 37-44

第1b课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/GurariI81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/GurariI81
艾坦·古拉里,奥斯卡·H·伊巴拉:
双向计数器和丢番图方程。 45-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/DurisG81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/DurisG81
帕沃尔·杜利斯,兹维·郭历理:
语言识别的时空权衡。 53-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/路易81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Loui81
迈克尔·路易斯:
多维图灵机之间的仿真（初步版本）。 58-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Paul81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Paul81
沃尔夫冈·保罗:
头部与胶带。 68-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/StearnsH81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/StearnsH81
理查德·埃德温·斯特恩斯,哈里·亨特三世:
关于无歧义正则表达式、语法和自动机的等价性和包含问题。 74-81

第2部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/CoppersmithW81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/CoppersmithW81
唐·科珀史密斯,许缪尔·维诺格拉特:
关于矩阵乘法的渐近复杂性（扩展摘要）。 82-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/FeigW81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/FeigW81
以法莲·菲格,许缪尔·维诺格拉特:
关于直和猜想（扩展摘要）。 91-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/JaJa81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/JaJa81
约瑟夫·贾贾:
具有根提取的代数函数的计算。 95-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Blum81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Blum81
诺伯特·布鲁姆:
n次卷积单调网络复杂性的Omega（n^4/3）下界。 101-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Klawe81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Klawe81
玛丽亚·M·克拉维:
一维展开图的不存在性。 109-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Post81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Post81
马克·J·波斯特:
最小生成椭圆算法。 115-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/AviadS81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/AviadS81
Z.阿维亚德,埃利·沙米尔:
产品区域范围搜索及相关问题的直接动态解决方案。 123-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/维特81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Vitter81
杰弗里·斯科特·维特:
保留随机性的散列删除算法（详细摘要）。 127-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Frederickson81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/F雷德里克森81
格雷格·弗雷德里克森:
加权字典问题的隐式数据结构（初步版本）。 133-139

第3a节

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/RoundsB81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/RoundsB81
威廉·C·罗兹,斯蒂芬·布鲁克斯:
可能的未来、接受、拒绝和沟通流程。 140-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/ItaiR81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/ItaiR81
阿隆·伊泰,迈克尔·罗德:
分配网络中的对称性破坏。 150-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Dolev81会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Dolev81
丹尼·多列夫:
未知和不可靠环境中的一致性。 159-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Burns81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Burns81
詹姆斯·伯恩斯:
异步过程系统中的对称性。 169-174

会话3b

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Sethi81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Sethi81
拉维·塞蒂:
并发数据库事务模型（摘要）。 175-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/KanellakisP81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/KanellakisP81
巴黎C.Kanellakis,克里斯托斯·帕帕迪米特里奥:
分布式并发控制的复杂性。 185-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Vardi81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Vardi81
莫舍·瓦尔迪:
关系数据库的全局决策问题。 198-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/JohnsonK81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/JohnsonK81
大卫·约翰逊,安东尼·克鲁格:
属性域不分离时优化连接查询（扩展抽象）。 203-211

第4次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Reischuk81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Reischuk81
Rüdiger Reischuk公司:
一种快速概率并行排序算法。 212-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/ManberT81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/ManberT81
曼博,马丁·汤帕:
哈密顿路径数对顶点着色问题复杂性的影响。 220-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Verbeek81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Verbeek81
罗格·韦贝克:
一般递归的时空权衡。 228-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Kannan81a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Kannan81a
拉维·坎南:
走向非确定性时间与确定性时间的分离。 235-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/SkyumV81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/SkyumV81
斯文·斯库姆,莱斯利·瓦利安特:
基于布尔代数的复杂性理论。 244-253
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/BookWX81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/BookWX81
罗纳德·V·书,克里斯托弗·威尔逊,徐美瑞:
时间和空间的相对化（初步报告）。 254-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/FurstSS81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/FurstSS81
梅里克·L·福斯特,詹姆斯·萨克斯,迈克尔·西普塞:
奇偶校验、电路和多项式时间层次。 260-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Mahaney马哈尼81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Mahaney马哈尼81
斯蒂芬·马哈尼:
关于NP-完备集的P-同构类的个数。 271-278

第5部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Statman81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Statman81
理查德·斯塔特曼:
可由多态程序计算的数论函数（扩展抽象）。 279-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Smith81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Smith81
卡尔·H·史密斯:
自动程序合成的并行能力。 283-295
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Gacs81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Gacs81
佩特格拉奇:
描述复杂性与算法概率的关系。 296-303
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Kannan81b公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Kannan81b
拉维·坎南:
电路尺寸下限。 304-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/HarelPS81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/HarelPS81
哈雷尔,阿米尔·普努利,乔纳森·斯塔维:
无上下文程序的命题动态逻辑。 310-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/HalpernR81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/HalpernR81
约瑟夫·哈珀（Joseph Y.Halpern）,约翰·雷夫:
确定性、结构良好程序的命题动态逻辑（扩展摘要）。 322-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Tiuryn81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Tiuryn81
Jerzy Tiuryn公司:
无界程序存储器增加了一阶动态逻辑（扩展抽象）的表达能力。 335-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Wolper81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Wolper81
皮埃尔·沃尔珀:
时间逻辑可以更具表现力。 340-348

第6部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/DolevY81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/DolevY81
丹尼·多列夫,姚期智:
关于公钥协议的安全性（扩展摘要）。 350-357
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/PapadimitriouY81型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/PapadimitriouY81
克里斯托斯·帕帕迪米特里奥,米哈利斯·扬纳卡基斯:
平面图的最坏情况比率和面上归纳法（扩展抽象）。 358-363
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/KarpS81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/KarpS81
理查德·卡普,迈克尔·西普塞:
稀疏随机图中的最大匹配。 364-375
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/MegiddoHGJP81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/MegiddoHGJP81
尼姆罗德·梅吉多,圣路易斯·哈基米,M.R.Garey先生,大卫·约翰逊,克里斯托斯·帕帕迪米特里奥:
搜索图形的复杂性（初步版本）。 376-385
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/FlajoletS81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/FlajoletS81
菲利普·弗拉乔莱,Jean-Marc斯特亚特:
树结构上递归搜索程序类的复杂性演算。 386-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Ben-O或81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Ben-Or81
迈克尔·本·奥尔:
有限域中的概率算法。 394-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Megiddo81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Megiddo81
尼姆罗德·梅吉多:
在串行算法设计中应用并行计算算法。 399-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/AdlemanO81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/AdlemanO81
伦纳德·阿德曼,安德鲁·奥德利兹科:
多项式的不可约性检验和因子分解（扩展抽象）。 409-418

迟交的论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/focs/Pratt81
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/focs/Pratt81
沃恩·R·普拉特:
一个可决定的微积分：初步报告。 421-427

服务

管理网站设置

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