停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第26届ICALP 1999：捷克共和国布拉格

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/99
吉尔·维德曼,彼得·范·埃姆德·博阿斯,莫根斯·尼尔森:
自动化，语言与编程，第26届国际学术讨论会，ICALP’99，捷克共和国布拉格，1999年7月11日至15日，会议记录。计算机科学课堂讲稿1644,施普林格 1999，国际标准图书编号3-540-66224-3

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Ajtai99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Ajtai99
米克洛斯·阿杰泰:
生成短基问题的硬实例。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Cardelli99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Cardelli99
鲁卡·凯德利:
广域计算。 10-24
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ComptonD99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ComptonD99
凯文·康普顿,斯科特·德克斯特:
密码协议的证明技术。 25-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CraryM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CraryM99
卡尔·克莱里,J.格雷戈里·莫里塞特:
低级编程语言的类型结构。 40-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Cucker99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Cucker99
菲利佩·库克:
用假数字进行实际计算。 55-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Bruijn99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Bruijn99
N.G.de Bruijn公司:
联想记忆模型，思维和意识的基础。 74-89
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/EdalatK99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/EdalatK99
阿巴斯·艾达拉特,马尔科·科兹纳里:
精确实数算法的数值积分。 90-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Hartmanis99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Hartmanis99
哈特马尼斯:
关于计算机科学的性质和状态的观察（主题演讲）。 105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/RozenbergS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/RozenbergS99
格列泽戈兹·罗森伯格,阿尔托·萨洛马:
DNA计算：新思想和新范式。 106-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Vitter99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Vitter99
杰弗里·斯科特·维特:
外部存储器中的联机数据结构。 119-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/渡边99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Watanabe99
渡边修（Osamu Watanabe）:
从计算学习理论到发现科学。 134-148

已投稿论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AllenderABDL99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AllenderABDL99
埃里克·阿伦德,安德里斯·安巴尼斯,大卫·A·米什·巴林顿,萨米尔·达塔,Huong LeThanh公司:
有界深度算术电路：计数和闭包。 149-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AlurTEP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AlurTEP99
拉杰夫·阿鲁尔,库沙·埃特萨米,萨尔瓦托雷·拉托雷,多龙·A·贝利德:
“模型测量”的参数时序逻辑。 159-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AlurKY99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AlurKY99
拉杰夫·阿鲁尔,桑帕斯·坎南,米哈利斯·扬纳卡基斯:
通信分层状态机。 169-178
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AndreevBCR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AndreevBCR99
亚历山大·安德列夫,尤里·巴斯卡科夫,安德烈亚·克莱门蒂,何塞·D·P·罗利姆:
小伪随机集产生硬函数：分支程序的新紧显式下限。 179-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BednarczykB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BednarczykB99
马雷克·贝德纳西克,安德烈·博尔兹科夫斯基（Andrzej M.Borzyszkowski）:
Petri网的一般态射（扩展抽象）。 190-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BermanK99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BermanK99
彼得·伯曼,马雷克·卡宾斯基:
关于一些更紧的不近似结果（扩展摘要）。 200-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/布耶尔P99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BouyerP99
帕特里夏·鲍耶,安托万·佩蒂特:
时间自动机的分解与合成。 210-219
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BuhrmanJLV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BuhrmanJLV99
哈里·布尔曼,陶江,李明（音）,保罗·M·B·维坦伊:
不可压缩方法的新应用。 220-229
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CardelliGG99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CardelliGG99
鲁卡·凯德利,安德鲁·戈登,乔治·盖利:
移动环境的移动类型。 230-239
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Clote99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Clote99
彼得·克洛特:
蛋白质折叠、Levinthal悖论和快速混合马尔可夫链。 240-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CortierGJV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CortierGJV99
Véronique Cortier公司,哈拉尔德·甘津格,弗洛伦特·雅克马尔,玛格斯·维恩斯:
同时刚性可达性的可决定碎片。 250-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CrochemoreMRS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CrochemoreMRS99
马克西姆·克罗西莫尔,菲利波偏头痛,安东尼奥·雷斯蒂沃,塞尔吉奥·萨莱米:
使用反字典进行文本压缩。 261-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/桑蒂斯CP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/SantisCP99
阿尔弗雷多·德·桑提斯,乔瓦尼·迪·克雷塞佐,朱塞佩·佩西亚诺:
非交互式零知识：NP的低随机性特征。 271-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DickhoferW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DickhoferW99
马丁·迪科尔,托马斯·威尔克:
时间交替树自动机：TCTL模型检查问题的自动机理论解决方案。 281-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DodisK99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DodisK99
是的，多迪斯,桑吉夫·坎纳:
图形属性的时空权衡。 291-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DufordJS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DufordJS99
凯瑟琳·杜福尔德,彼得·詹卡尔,菲利普·施诺贝伦:
重置P/T网的有界性。 301-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/EngelfrietH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/EngelfrietH99
乔斯特·恩格弗里特,亨德里克·扬·胡格布姆:
双向有限状态传感器和一元二阶逻辑。 311-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/FlescaG99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FlescaG99
塞尔吉奥·弗莱斯卡,塞尔吉奥·格雷科:
图查询的部分有序正则语言。 321-330
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/FrickG99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FrickG99
马库斯·弗里克,马丁·格罗:
局部树分解图的一阶性质的判定。 331-340
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Galpin99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Galpin99
瓦什蒂·加尔宾:
使用格式比较过程代数等价物。 341-350
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GavoilleH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GavoilleH99
西里尔·加维尔,尼古拉斯·哈努塞:
有界亏格图的紧凑路由表。 351-360
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GottlobLS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GottlobLS99
格奥尔格·戈特洛布,尼古拉·利昂,弗朗西斯科·斯卡切罗:
计算LOGCFL证书。 361-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GrossiI99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GrossiI99
罗伯托·格罗西,朱塞佩·F·意大利:
在链接数据结构中维护多维密钥的有效技术。 372-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GuptaKS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GuptaKS99
阿尔文德·古普塔,达蒙·卡勒,托马斯·谢尔默:
关于部分k-树的补集。 382-391
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HammarN99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HammarN99
米凯尔·哈马尔,本特·尼尔森:
TSP动力学变量的近似结果。 392-401
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HassinP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HassinP99
耶胡达·哈辛,大卫·佩莱:
分布式概率轮询及其在比例协议中的应用。 402-411
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HirshfeldJ99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HirshfeldJ99
约拉姆·赫什菲尔德,马克·杰拉姆:
规范过程代数的互模拟等价性是可判定的。 412-421
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HirshfeldR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HirshfeldR99
约拉姆·赫什菲尔德,亚历山大·莫西·拉宾诺维奇:
可判定度量逻辑框架。 422-432
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HromkovicS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HromkovicS99
尤拉杰·赫罗姆科维奇,乔治·施尼特:
拉斯维加斯的力量2。双向有限自动机。 433-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/IwamaMMM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/IwamaMMM99
岩岛和雄,大卫·F·曼洛夫,宫崎骏水池,森田康夫:
稳定的婚姻，不完整的名单和关系。 443-452
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/JiangLV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/JiangLV99
陶江,李明（音）,保罗·M·B·维坦伊:
Shellsort的平均案例复杂性。 453-462
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KimP99配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KimP99
金东奎（Dong Kyue Kim）,坤秀公园:
二维后缀树的线性时间构造。 463-472
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Kirsten99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Kirsten99
丹尼尔·克里斯滕:
迹幺半群中恒星问题与有限幂性质之间的联系。 473-482
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KirstenM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KirstenM99
丹尼尔·克里斯滕,杰里·马尔辛科夫斯基（Jerzy Marcinkowski）:
恒星问题领域的两项技术。 483-492
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KrauseSW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KrauseSW99
马蒂亚斯·克劳斯,彼得·萨维克,英戈·韦格纳:
OBDD逼近与变量排序问题。 493-502
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KucerM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KuceraM99
安东·库塞拉,理查·马:
简单过程代数上的模拟预序。 503-512
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LaneveV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LaneveV99
科西莫·拉伊夫,比约恩·维克多:
独奏音乐会。 513-523
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LanthierMS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LanthierMS99
马克·兰蒂尔,阿尼尔·马赫什瓦里,Jörg-Rüdiger袋:
地形上最短的各向异性路径。 524-533
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Lepisto99会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Lepisto99
阿尔托·勒皮斯托:
词汇的局部周期性和全球周期性之间的关系。 534-543
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LingasOO99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LingasOO99
安德烈·林加斯,汉斯·奥尔森,安娜·奥斯特林:
进化树的有效合并、构造和维护。 544-553
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Miculan99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Miculan99
马里诺·米库兰:
归纳构造微积分中微积分的惰性代换证明系统的形式化。 554-564
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/NichitiuR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/NichitiuR99
科德林·M.尼奇蒂乌,埃里克·雷米拉:
d维元胞自动机的领导者选举。 565-574
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/NiedermeierR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/NiedermeierR99
罗尔夫·尼德迈尔,彼得·罗斯马尼思:
MaxSat的新上限。 575-584
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/OlshevskyP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/OlshevskyP99
瓦迪姆·奥尔舍夫斯基,维克多·Y·潘:
多项式和有理求值与插值（使用结构化矩阵）。 585-594
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/第99页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Pagh99
拉斯穆斯·帕赫:
具有O（1）最坏情况查找时间的静态词典中的低冗余。 595-604
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/PeichlV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/PeichlV99
蒂莫·佩奇尔,赫里贝特·沃尔默:
具有广义验收准则的有限自动机。 605-614
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/PelegR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/PelegR99
大卫·佩莱,艾伦·雷谢夫:
平均复杂度低的箭头分布式目录的变体。 615-624
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/PowerT99配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/PowerT99
约翰·鲍尔,Hayo Thielecke先生:
封闭式Freyd和kappa类别。 625-634
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/RieckeT99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/RieckeT99
乔恩·里克,Hayo Thielecke先生:
键入的Exeptions和Continuations无法相互宏表达。 635-644
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Rutten99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Rutten99
Jan J.M.M.Rutten先生:
自动机、幂级数和共创：认真对待输入导数。 645-654
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Sanders99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Sanders99
彼得·桑德斯:
通过集合关联缓存访问多个序列。 655-664
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Senizergues99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Senizergues99
Géraud塞尼泽格斯:
T（A）=T（B）？ 665-675
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Szegedy99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Szegedy99
马里奥·塞格迪:
多值逻辑和全息证明。 676-686
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Umans99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Umans99
克里斯托弗·乌曼斯:
关于最短隐含问题的复杂性和不逼近性。 687-696
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/WeihrauchZ99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/WeihrauchZ99
克劳斯·维赫劳赫（Klaus Weihrauch）,宁忠:
波传播器是图灵可计算的。 697-707
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Woeginger99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Woeginger99
Gerhard J.沃金格:
单台机器上一致加权方差的FPTAS。 707-716
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Tiskin99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Tiskin99
亚历山大·提斯金:
勘误表：布尔矩阵的批量同步并行乘法。 717-718

服务

管理网站设置

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