默认搜索操作

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

问别人

第17届ICALP 1990：英国华威大学

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/1990
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/1990
迈克·帕特森:
自动化，语言与编程，第17届国际学术讨论会，ICALP90，英国沃里克大学，1990年7月16日至20日，论文集。计算机科学课堂讲稿443,施普林格 1990，国际标准图书编号3-540-52826-1

第1部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/NaherM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/NaherM90
斯特凡·纳什,库尔特·梅尔霍恩:
LEDA：高效数据类型和算法库。 1-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DietzfelbingerH90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DietzfelbingerH90
马丁·迪兹费尔宾格,弗里德海姆·梅耶（Friedhem Meyer auf der Heide）:
一类新的通用哈希函数和实时动态哈希。 6-19

第2部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Riecke90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Riecke90
乔恩·里克:
完整且可决定的Call-by Value Equalities证明系统（初步报告）。 20-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Schwartzbach90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Schwartzbach90
迈克尔·施瓦茨巴赫:
层次过程的静态正确性。 32-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Malecki90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Malecki90
索菲·马莱基:
没有多态类型的通用术语。 46-59

第3部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Krob90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Krob90
丹尼尔·克罗布:
一个完整的B-理性恒等式系统。 60-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LucaV90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LucaV90
阿尔多·德卢卡,斯特凡诺·瓦里奇奥:
关于非计数正则类。 74-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Anselmo90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Anselmo90
马塞拉·安塞尔莫:
具有多重性的双向自动机。 88-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Kuich90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Kuich90
沃纳·库伊奇:
欧米茄连续半环，代数系统和下推自动机。 103-110

第4次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Geffert90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Geffert90
维利亚姆·格弗特:
亚对数空间中的非确定性计算和空间可构性。 111-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Wiedermann90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Wiedermann90
尤拉杰·维德曼:
规范和加速RAM计算以及合理空间度量问题。 125-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Watanabe90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Watanabe90网址
渡边修（Osamu Watanabe）:
通过查询学习的正式研究。 139-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/JainS90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/JainS90
桑杰·贾因,艾伦·沙玛:
由“团队”学习语言（扩展摘要）。 153-166

第5部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Milner90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Milner90
罗宾·米尔纳:
作为流程发挥作用。 167-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/JagadeesanP90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/JagadeesanP90
拉德哈·贾加迪桑,普拉卡什·帕南加登:
高阶过程微积分的区域理论模型。 181-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Droste90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Droste90
曼弗雷德·德罗斯特:
并发、自动机和域。 195-208

第6部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HennessyI90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HennessyI90
马修·轩尼诗,Anna Ingólfsdóttir女士:
传递价值的沟通过程理论。 209-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/FlajoletSS90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FlajoletSS90
菲利普·弗拉乔莱,保罗·西帕拉,Jean-Marc斯特亚特:
公共子表达式问题的解析变分。 220-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CheriyanHM90文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CheriyanHM90
约瑟夫·切里扬,托本·哈格鲁普,库尔特·梅尔霍恩:
最大流量可以在o（nm）时间内计算吗？ 235-248

第7次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Razborov90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Razborov90
亚历山大·拉兹博罗夫:
论厌恶的分布复杂性。 249-253
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KranakisKB90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KranakisKB90
埃文格洛斯·克拉纳基斯,丹尼·克里桑克,雅各布·范登伯格:
在匿名网络上计算布尔函数。 254-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GoldreichK90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GoldreichK90
密码学基础,雨果·克劳茨克:
零知识证明系统的构成。 268-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BookLT90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BookLT90
罗纳德·V·书,杰克·H·卢茨,首文堂:
对随机和伪随机Oracle的其他查询。 283-293

第8部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/RabinovichT90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/RabinovichT90
亚历山大·莫舍·拉宾诺维奇,鲍里斯·特拉赫滕布罗特:
关系之间的沟通（扩展摘要）。 294-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/PanangadenSS90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/PanangadenSS90
普拉卡什·帕南加登,瓦桑特·香博格,尤金·W·斯塔克:
数据流网络中的稳定性和顺序性。 308-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AlurD90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AlurD90
拉杰夫·阿鲁尔,大卫·L·迪尔:
实时系统建模自动机。 322-335
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CourcoubetisY90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CourcoubetisY90
科斯塔斯·库库贝蒂斯,米哈利斯·扬纳卡基斯:
马尔可夫决策过程和规则事件（扩展抽象）。 336-349

第9部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Klop90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Klop90
简·威廉·克洛普:
术语改写系统：从Church-Rosser到Knuth-Bendix及以后。 350-369
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/VermaR90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/VermaR90
拉凯什·维尔马,I.V.罗摩克里希南:
非线性重写系统的非遗忘归一化算法。 370-385
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Palamidesi90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Palamidessi90网址
帕拉米德斯猫:
幂等代换的代数性质。 386-399

第10部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DobkinK90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DobkinK90
大卫·P·多布金,大卫·G·柯克帕特里克:
确定预处理多面体的分离-统一方法。 400-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GuibasKS90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GuibasKS90
列奥尼达斯·吉巴斯,唐纳德·科努特,米查·谢里尔:
Delaunay和Voronoi图的随机增量构造。 414-431
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ColeGO90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ColeGO90
理查德·科尔,迈克尔·古德里奇,科尔姆·奥斯丁林:
并行合并自由树以高效构建Voronoi图（初步版本）。 432-445

第11次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Johnson90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Johnson90
大卫·约翰逊:
局部优化与旅行商问题。 446-461
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/JerrumS90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/JerrumS90
马克·杰鲁姆,阿利斯泰尔·辛克莱:
伊辛模型的多项式时间近似算法（扩展抽象）。 462-475
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/SavageW90配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/SavageW90
约翰·萨维奇,马库斯·G·沃卡:
关于并行化图分割启发式。 476-489

第12部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Choffrut90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Choffrut90
克里斯蒂安·乔夫鲁特:
迭代替换和局部Catatnative系统：二元情况下的可判定结果。 490-500
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ClerboutLR90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ClerboutLR90
米雷尔·克莱博特,米歇尔·拉特奥,伊夫·罗斯:
部分交换的分解。 501-511
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/制粒机90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Pelletier90
玛丽斯·佩莱蒂埃:
有理集的布尔闭包和无歧义性。 512-525

第13次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LarsenX90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LarsenX90
金·古德斯特兰·拉森,刘新新:
通过上下文的操作语义实现组合。 526-539
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Parrow90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Parrow90
约阿希姆·帕罗:
网络的结构和行为等效性。 540-552
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/PeledP90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/PeledP90
多龙·A·贝利德,阿米尔·普努利:
证明部分顺序活性属性。 553-571
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Boer90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Boer90
弗兰克·S·德·波尔:
并行面向对象语言POOL的证明系统。 572-585

第14次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Blum90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Blum90
诺伯特·布鲁姆:
一般图中最大匹配的一种新方法。 586-597
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BattistaT90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BattistaT90
朱塞佩·迪·巴蒂斯塔,罗伯托·塔马西娅:
带有SPQR树的在线图算法。 598-611
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/PanR90文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/PanR90
维克多·Y·潘,约翰·赖夫:
关于偏微分方程离散解的位复性：紧多重网格。 612-625
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GrooteV90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GrooteV90
简·弗里索·格鲁特,Frits W.Vaandrager公司:
一种有效的分支互模拟和断续等价算法。 626-638

第15次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Jones公司90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Jones90
尼尔·D·琼斯:
部分评估、自我应用和类型。 639-659
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/TuckerWZ90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/TuckerWZ90
约翰·V·塔克,斯坦利·韦纳,杰弗里·扎克:
抽象数据类型上的可证明计算函数。 660-673
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Comon90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Comon90
休伯特·科蒙:
序排序代数中的方程公式。 674-688

第16次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GoodrichAO90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GoodrichAO90
迈克尔·古德里奇,米哈伊尔·阿塔拉,马克·奥弗马斯:
矩形隐藏表面去除的时间复杂性中的输入大小/输出大小权衡（初步版本）。 689-702
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AltBW90文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AltBW90
赫尔穆特Alt,约翰内斯·布尔默（Johannes Blömer）,休伯特·瓦格纳:
凸多边形的近似。 703-716
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/霍夫曼90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Hoffmann90
弗兰克·霍夫曼:
关于直线美术馆问题（扩展抽象）。 717-728

第17次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/MatiasV90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MatiasV90
马提亚斯,乌兹·维什金:
关于并行散列和整数排序（扩展摘要）。 729-743
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Radge90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Radge90
普拉巴卡尔·拉格德:
压缩和链接的并行简单性。 744-751
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Moller90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Moller90
法伦·莫勒:
左合并算子在过程代数中的重要性。 752-764
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/PrasadGM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/PrasadGM90
桑吉瓦·普拉萨德,亚历山德罗·贾卡隆,Prateek Mishra公司:
Facile的操作语义和代数语义：并发编程和函数编程的对称集成。 765-778

管理网站设置

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