停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第14届LICS 1999：意大利特伦托

>主页 >会议和研讨会 >低收入国家

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/1999
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/1999
第十四届IEEE计算机科学逻辑年会，意大利特伦托，1999年7月2-5日。 IEEE计算机学会 1999，国际标准图书编号0-7695-0158-3

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Friedman99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Friedman99
哈维·弗里德曼:
一些非常复杂的决策问题。 2-12

第1部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/R99级
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GradelR99
埃里希·格拉德尔,埃里克·罗森:
正则性的双变量描述。 14-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GanzingerMV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GanzingerMV99
哈拉尔德·甘津格,克里斯托夫·梅耶,玛格斯·维恩斯:
具有传递关系的双变量保护碎片。 24-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HellaLNW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HellaLNW99
劳里·海拉,列奥尼德·利布金,Juha Nurmonen公司,黄利顺（Limsoon Wong）:
使用聚合运算符的逻辑。 35-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/W99级
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GradelW99
埃里希·格拉德尔,伊戈尔·瓦卢基维奇:
保护定点逻辑。 45-54

第2部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JeffreyR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JeffreyR99
阿兰·杰弗里,朱利安·拉特克:
走向地名互模拟理论。 56-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FioreCW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FioreCW99
马塞洛·菲奥雷,吉安·卢卡·卡塔尼,格林·温斯克:
弱互模拟和开放映射。 67-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Simpson99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Simpson99
亚历克斯·K·辛普森:
类别的基本公理。 77-85

第3部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BanerjeeHR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BanerjeeHR99
安妮迪亚·班纳吉,内文·海因策,乔恩·里克:
区域分析和多态Lambda演算。 88-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CerritoaK99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CerritoaK99
塞雷内拉·塞里托,迪丽娅·凯斯纳:
模式匹配作为切割消除。 98-108
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BucciarellliLPS99配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BucciarelliLPS99
安东尼奥·布恰雷利,西尔维娅·德洛伦齐斯,阿道夫·皮佩诺,伊万诺·萨尔沃:
交叉点类型的一些计算属性。 109-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KfouryP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KfouryP99
A.J.Kfoury公司,圣地亚哥·M·佩里卡斯·吉尔森:
递归定义的类型推断。 119-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HalpernF99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HalpernF99
约瑟夫·哈珀（Joseph Y.Halpern）,尼尔·弗里德曼:
合理性度量和默认推理：概述。 130-135

第4部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ColazzoG99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ColazzoG99
达里奥·科拉佐,乔治·盖利:
Kernel Fun中递归类型的子类型。 137-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DrossopoulouEW99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DrossopoulouEW99
索菲亚·德罗索普洛,苏珊·艾森巴赫,戴维·雷格:
碎片微积分-走向独立编译、链接和二进制兼容性的模型。 147-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BorealeNP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BorealeNP99
米歇尔·博雷尔,洛科·德·尼古拉,罗萨里奥·普格利泽:
密码过程的证明技术。 157-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Kozen99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kozen99
德克斯特·科赞:
关于Hoare逻辑和Kleene代数及其测试。 167-172

第5部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MarzRS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MarzRS99
迈克尔·马兹,亚历山大·罗尔,托马斯·斯特里彻:
通过可实现性实现全面抽象和普遍性。 174-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Pym99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Pym99
大卫·J·派姆:
关于串谓词逻辑。 183-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FiorePT99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FiorePT99
马塞洛·菲奥雷,戈登·普洛金,丹尼尔·图里:
抽象语法和变量绑定。 193-202

第6次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hofmann99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Hofmann99
马丁·霍夫曼:
高阶抽象句法的语义分析。 204-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Gabbay P99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GabbayP99
默多克·加贝,安德鲁·皮特斯:
一种新的包含活页夹的抽象语法方法。 214-224
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BofillGNR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BofillGNR99
Miquel Bofill公司,吉勒姆·戈多伊,罗伯特·尼文胡斯,阿尔伯特·鲁比奥:
非单调序的副调制。 225-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DevarajanHPP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DevarajanHPP99
哈里什·德瓦拉扬,多米尼克·J·D·休斯,戈登·普洛金,沃恩·R·普拉特:
Chu空间乘法线性逻辑的完全完备性。 234-243

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BruniM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BruniM99
罗伯托·布鲁尼,乌戈·蒙塔纳里:
笛卡尔闭双范畴，它们的Lambda-Notation和Pi-Calculus。 246-265

第7部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Johannsen99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Johannsen99
简·约翰森:
弱有界算法、Diffie-Hellman问题和Constable的K类。 268-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AtseriasK99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AtseriasK99
阿尔伯特·阿塞里亚斯,Phokion G.Kolaitis公司:
有限集理论中的一阶逻辑与定点逻辑。 275-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/NiehrenMT99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/NiehrenMT99
约阿希姆·尼伦,马丁·米勒,Jean-Marc Talbot公司:
原子集约束的包含是PSPACE-Complete。 285-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GanzingerN99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GanzingerN99
哈拉尔德·甘津格,汉斯·德尼维尔:
守卫碎片的叠加决策程序。 295-303

第8部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GottlobP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GottlobP99
乔治·戈特洛布,莱因哈德·皮克勒:
使用武器：赫布兰德模型原子表示的复杂性结果。 306-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Libkin99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Libkin99
列奥尼德·利布金:
带有计数、辅助关系和不变查询下限的逻辑。 316-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Ruhl99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Ruhl99
马蒂亚斯·鲁尔:
计数和加法不能表示确定性传递闭包。 326-334

第9部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EmersonT99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EmersonT99
E.艾伦·艾默生,理查德·特雷弗:
参数化定量时间推理。 336-343
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BaziramwaboMT99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaziramwaboMT99
奥古斯汀·巴齐拉姆瓦博,皮埃尔·麦肯齐,丹尼斯·塞利安:
模块化时序逻辑。 344-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EsparzaFM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EsparzaFM99
哈维尔·埃斯帕尔扎,阿兰·芬克尔,理查·马:
广播协议的验证。 352-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MollerR99文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MollerR99
法伦·莫勒,亚历山大·莫西·拉宾诺维奇:
论CTL的表达力。 360-368
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Paulson99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Paulson99
劳伦斯·保尔森:
证明安全协议正确。 370-381

第10部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HalpernS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HalpernS99
约瑟夫·哈珀（Joseph Y.Halpern）,理查德·肖尔:
关于无限多代理的公共知识推理。 384-393
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HopkinsK99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HopkinsK99
马克·霍普金斯,德克斯特·科赞:
交换Kleene代数中的Parikh定理。 394-401
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JouannaudR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JouannaudR99
Jean-Pierre Jouannaud女士,阿尔伯特·鲁比奥:
高阶递归路径排序。 402-411
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Altenkirch99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Altenkirch99
托尔斯滕·阿滕柯奇:
内涵类型理论中的外延平等。 412-420

第11次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HarmerM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HarmerM99
罗素·哈默,盖伊·麦库斯克:
有限不确定性的完全抽象游戏语义。 422-430
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Abramsky M99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbramskyM99
萨姆森·阿布拉姆斯基,保罗·安德烈·梅利埃:
并发游戏和完整性。 431-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MalacariaH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MalacariaH99
帕斯奎尔·马拉卡里亚,克里斯·汉金:
非确定性游戏和程序分析：安全应用。 443-452

第12部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/游击队99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/游击队99
斯特凡诺·格雷尼:
乘法证明网的正确性是线性的。 454-463
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hofmann99a文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Hofmann99a
马丁·霍夫曼:
线性类型和非尺寸增加的多项式时间计算。 464-473

服务

管理网站设置

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