默认搜索操作

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

问别人

第12届ICALP 1985年：希腊纳夫利翁

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/1985
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/1985
威尔弗里德·布劳尔:
《自动化，语言与编程》，第12次学术讨论会，希腊纳夫普利，1985年7月15日至19日，会议记录。计算机科学课堂讲稿194,施普林格 1985，国际标准图书编号3-540-15650-X型
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Lovasz85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Lovasz85网址
拉兹洛瓦兹:
顶点打包算法。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/普努利85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Pnueli85网址
阿米尔·普努利:
反应系统语义和逻辑中的线性和分支结构。 15-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BeauquierN85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BeauquierN85
丹尼尔·博基尔,莫里斯·尼瓦特:
关于双限定词的有理因子集。 33-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Ben-O或GMR85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Ben-O或GMR85
迈克尔·本·奥尔,密码学基础,西尔维奥·米卡利,罗纳德·里维斯:
签订合同的公平协议（扩展摘要）。 43-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BilardiP85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BilardiP85
吉安弗兰科·比拉尔迪,佛朗哥·P·普雷斯塔:
密钥长度对排序区域时间复杂度的影响。 53-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Bouge85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Bouge85网址
卢克·博格:
重复同步快照及其在CSP中的实现（扩展抽象）。 63-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BucherEH85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BucherEH85
沃尔特·巴彻,安德热伊·埃伦费奇特,大卫·豪斯勒:
衍生关系产生的总监管机构。 71-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChazelleE85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChazelleE85
伯纳德·夏泽尔,赫伯特·埃德尔斯布伦纳:
一类点检索问题的最优解。 80-89
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChazelleG85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChazelleG85
伯纳德·夏泽尔,列奥尼达斯·吉巴斯:
分数级联：一种具有几何应用的数据结构技术。 90-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Chrobak85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Chrobak85
马雷克·克罗巴克:
单向多头自动机语言的层次结构。 101-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Cole85型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Cole85
理查德·科尔:
在4个维度中划分点集。 111-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Coppo85型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Coppo85
马里奥·科波奥:
递归定义类型的完备性定理。 120-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/居里85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Curien85
皮埃尔·路易斯·库里恩:
分类组合逻辑。 130-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/巴克K85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BakkerK85
J.W.de Bakker（德巴克）,Joost N.Kok公司:
流和流上函数的统一拓扑处理。 140-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BakkerMO85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BakkerMO85
J.W.de Bakker（德巴克）,约翰·朱尔斯·查·梅耶,Ernst-Rüdiger Olderog公司:
一致并发语义中的无限流和有限观察。 149-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Bra85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Bra85
保罗·德布拉:
产生水平分解的强加函数依赖性。 158-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/EngelfrietV85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/EngelfrietV85
乔斯特·恩格弗里特,海科·福格勒:
高级树传感器的特性。 171-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Flajolet公司85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Flajolet85网址
菲利普·弗拉乔莱:
歧义与超越。 179-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Fortune公司85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Fortune85
史蒂文·福琼:
通过翻译实现多边形包含的快速算法（扩展抽象）。 189-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Furer85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Furer85网址
马丁·福勒:
确定性和拉斯维加斯素数测试算法。 199-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GabowS85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GabowS85
哈罗德·加博,马蒂亚斯·F·M·斯塔尔曼:
图形拟阵交集和奇偶校验的有效算法（扩展抽象）。 210-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GoguenJM85会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GoguenJM85网址
约瑟夫·高根,Jean-Pierre Jouannaud女士,何塞·梅塞盖尔:
顺序排序代数的运算语义。 221-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Gunter85公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Gunter85
卡尔·A·冈特:
Profinite Poset的通用域技术。 232-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Hansel85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Hansel85
乔治·汉塞尔:
Skolem-Mahler-Lech定理的简单证明。 244-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HartmanisI85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HartmanisI85
哈特马尼斯,尼尔·伊梅尔曼:
关于NP$\cap$CoNP的完全问题。 250-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/轩尼诗85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Hennessy85网址
马修·轩尼诗:
公平异步通信过程的代数理论。 260-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Hortala-GonzalezR85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Hortala-GonzalezR85
玛丽亚·特蕾莎·霍塔拉-冈萨雷斯,马里奥·罗德里格斯-阿塔莱霍:
非确定性正则程序的霍尔逻辑：一个非标准完备性定理。 270-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Hrbacek85型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Hrbacek85
卡雷尔·赫巴切克:
幂域作为代数格（初步报告）。 281-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Jerrum85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Jerrum85网址
马克·杰拉姆:
从均匀分布随机生成组合结构（扩展抽象）。 290-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Johnson85公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Johnson85网址
J.霍华德·约翰逊:
有理等价关系有规则的横截面吗？ 300-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Jung85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Jung85
赫尔曼·荣格:
关于概率时间和空间。 310-317
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KarlssonMR85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KarlssonMR85
罗尔夫·卡尔森,J.伊恩·蒙罗,爱德华·罗伯逊:
有界域上的最近邻问题。 318-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KaufmannM85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KaufmannM85
迈克尔·考夫曼,库尔特·梅尔霍恩:
通过通用交换盒路由。 328-337
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Keranen公司85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Keranen85
维克科·凯尔宁（Veikko Keränen）:
二元字母表上长度一致形态生成的k-重复自由词。 338-347
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Kortelainen85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Kortelainen85网址
朱哈·科尔特莱宁:
每个交换准有理语言都是正则的。 348-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/库尔茨M85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KurtzM85
托马斯·G·库尔茨,曼博:
集交集的概率分布算法及其分析（初版）。 356-362
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LandauYG85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LandauYG85
加德·兰道,Mordechai M.Yung先生,兹维·郭历理:
同步广播网络中的分布式算法（扩展抽象）。 363-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Larsen公司85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Larsen网站85
金·古德斯特兰·拉森:
进程之间的上下文相关等效。 373-382
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Li85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Li85
李明（音）:
Kolmogorov复杂性下限（扩展抽象）。 383-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/润滑R85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LubyR85
迈克尔·卢比,普拉巴卡尔·拉格德:
具有良好平均案例行为的双向最短路径算法（初步版本）。 394-403
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/MainBH85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MainBH85
迈克尔·梅因,沃尔特·布彻,大卫·豪斯勒:
无限无平方CO-CFL的应用。 404-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/MannaW85型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MannaW85
佐哈尔·曼纳,理查德·沃丁格:
自动扣除中的特殊关系。 413-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Mehlhorn公司T85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MehlhornT85
库尔特·梅尔霍恩,Athanasios K.Tsakalidis公司:
动态插值搜索。 424-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/OrponenRS85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/OrponenRS85
佩卡·奥波宁,大卫·A·拉索,乌韦·舍宁:
多项式水平性和最大复杂性核。 435-444
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Pin85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Pin85
Jean-Eric别针:
自由幺半群的有限群拓扑和p-Adic拓扑。 445-455
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/SippuS85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/SippuS85
塞普·西普,Eljas Soisalon Soininen公司:
关于在高效算法设计中使用关系表达式（扩展抽象）。 456-464
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/SistlaVW85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/SistlaVW85
A.普拉萨德·西斯特拉,莫舍·瓦尔迪,皮埃尔·沃尔珀:
Büchi自动机的互补问题及其在时序逻辑中的应用（扩展抽象）。 465-474
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/斯特林85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Stirling85网址
科林·斯特林:
CCS子集的完整组合模型证明系统。 475-486
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/VarmanR85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/VarmanR85
彼得·瓦尔曼,I.V.罗摩克里希南:
关于使用阵列处理器的矩阵乘法。 487-496
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Vishkin85公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Vishkin85网址
乌兹·维什金:
字符串中的最佳并行模式匹配（扩展摘要）。 497-508
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ZwiersRB85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ZwiersRB85
作业Zwiers,威廉·德·罗弗,彼得·范·埃姆德·博阿斯:
组成性和并发网络：证明系统的健全性和完整性。 509-519

管理网站设置

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