停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第13届LICS 1998：美国印第安纳州印第安纳波利斯

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/1998
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/1998
1998年6月21日至24日，美国印第安纳州印第安纳波利斯，第十三届IEEE计算机科学逻辑年会。 IEEE计算机学会 1998，国际标准图书编号0-8186-8506-9

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Needham98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Needham98
罗杰·李约瑟:
逻辑和过度简化。 2-3

有限模型理论I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Grohe98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Grohe98
马丁·格罗:
平面图上的定点逻辑。 6-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EinterGG98文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EiterGG98
托马斯·艾特,乔治·戈特洛布,尤里·古雷维奇:
字符串上的存在二阶逻辑。 16-27
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DawarHS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DawarHS98
阿努杰·达瓦尔,劳里·海拉,阿尼尔·塞思:
用广义量词排序有限变量类型。 28-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Jaeger98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Jaeger98
曼弗雷德·杰格:
关系贝叶斯网络的收敛结果。 44-55

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CharatonikMNPW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CharatonikMNPW98
维托尔德·查拉托尼克,大卫·A·麦卡利斯特,达米安·尼文斯基,安德烈亚斯·波德尔斯基,伊戈尔·瓦卢基维奇:
号角微积分。 58-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EmersonN98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EmersonN98
E.艾伦·艾默生,Kedar S.Namjoshi公司:
关于不确定无限状态系统的模型检验。 70-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KupfermanV98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KupfermanV98
奥尔娜·库普夫曼,莫舍·瓦尔迪:
自由、弱点和决定论：从线性时间到分支时间。 81-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/NeculaL98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/NeculaL98
乔治·C·内库拉,李忠琛:
有效表示和验证证据。 93-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AbadiFG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbadiFG98
马丁·阿巴迪,Cédric Fornet公司,乔治·戈蒂尔:
通道抽象的安全实现。 105-116

逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ArieliA98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ArieliA98
奥弗·阿里埃利,阿诺·阿夫伦:
四值双态的逻辑作用。 118-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FriasM98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FriasM98
马塞洛·F·弗里亚斯,罗杰·马杜克斯:
程序方案的关系演算的完备性。 127-134

辅导的

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Thomas98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Thomas98
沃尔夫冈·托马斯:
一元逻辑与自动机：最新发展。 136-138

并发I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FagesRS98文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FagesRS98
弗朗索瓦·法赫斯,保罗·鲁特,西尔万·索利曼:
并发约束程序的阶段语义和验证。 141-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Bernstein98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Bernstein98
凯伦·伯恩斯坦:
高阶语言结构化操作语义的同余定理。 153-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BorealeS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BorealeS98
米歇尔·博雷尔,戴维德·桑吉奥吉:
无匹配的传名演算中的互模拟。 165-175
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ParrowV98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ParrowV98
约阿希姆·帕罗,比约恩·维克多:
融合微积分：移动过程中的表达性和对称性。 176-185

范畴理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BirkedalCRS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BirkedalCRS98
拉尔斯·比克达尔,奥雷里奥·卡博尼,朱塞佩·罗索里尼,达纳·S·斯科特:
通过精确分类的类型理论。 188-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HermidaMP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HermidaMP98
克劳迪奥·赫尔米达,迈克尔·麦凯,约翰·鲍尔:
高维多图。 199-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Johnstone公司PTWW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JohnstonePTWW98
彼得·约翰斯通,约翰·鲍尔,Toru Tsujishita公司,渡边浩史,詹姆斯·沃雷尔:
过渡系统范畴作为余代数的公理化。 207-213
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CattaniFW98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CattaniFW98
吉安·卢卡·卡塔尼,马塞洛·菲奥雷,格林·温斯克:
递归域理论及其在并发中的应用。 214-225

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Dalen98文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Dalen98
德克·范·戴伦:
L.E.J.Brouwer的直觉主义：两个阶段的革命。 228-241

辅导的

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Benthem98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Benthem98
本瑟姆:
扩展动态逻辑中的过程操作。 244-250

定理证明与重写

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/沃伦科夫98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Voronkov98
安德烈·沃伦科夫:
赫伯兰定理，自动推理和语义表。 252-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Veanes98公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Veanes98
玛格斯·维恩斯:
二阶统一与同时刚性的关系E类-统一。 264-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ComonNNR98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ComonNNR98
休伯特·科蒙,巴利亚特·纳伦德兰,罗伯特·尼文胡斯,米夏·鲁西诺维奇:
有序改写中的决策问题。 276-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Mellies98公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Mellies98
保罗·安德烈·梅利埃:
重写理论中的一个稳定性定理。 287-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Asperti98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Asperti98
安德烈亚·阿斯佩蒂:
轻仿射逻辑。 300-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Mackie98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Mackie98
伊恩·麦基:
线性逻辑使用盒。 309-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FernandezM98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FernandezM98
玛丽贝尔·费尔南德斯,伊恩·麦基:
交互网络操作等效的共导技术。 321-332

游戏语义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AbramskyHM98文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbramskyHM98
萨姆森·阿布拉姆斯基,Kohei Honda公司,盖伊·麦库斯克:
通用参考的完全抽象游戏语义。 334-344
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FioreH98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FioreH98
马塞洛·菲奥雷,Kohei Honda公司:
游戏中的递归类型：公理和过程表示。 345-356

类型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Tatsuta98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Tatsuta98
Makoto Tatsuta公司:
函数和类构造理论的可实现性及其在程序综合中的应用。 358-367
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Yokouchi98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Yokouchi98
横内博文:
具有交集、并集和类型量词的类型赋值系统的完整性。 368-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/维斯瓦纳坦98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Viswanathan98网址
拉梅什·维斯瓦纳坦:
具有递归类型和子类型的一阶对象的完整抽象。 380-391

受邀演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Vardi98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Vardi98
莫舍·瓦尔迪:
线性与分支时间：复杂性理论视角。 394-405

微积分和λ-微积分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PavlovicE98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PavlovicE98
达斯科·巴甫洛维奇,马丁·霍泽尔·埃斯卡多:
共导形式的微积分。 408-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Folkerts98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Folkerts98
Enno Folkerts公司:
λη中的可逆性。 418-429

约束和复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MullerNT98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MullerNT98
马丁·米勒,约阿希姆·尼伦,拉尔夫·特雷恩:
特征树上排序约束的一阶理论。 432-443
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JohannsenP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JohannsenP98
简·约翰森,克里斯·波列特:
关于阈值电路和计数层次的证明。 444-452

并发II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Alfaro98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Alfaro98
卢卡·德·阿尔法罗:
如何规定和验证概率系统的长期平均行为。 454-465
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/StarkS98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/StarkS98
尤金·W·斯塔克,斯科特·斯莫尔卡:
概率I/O自动机网络中预期延迟的合成分析。 466-477
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DesharnaisEP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DesharnaisEP98
何塞·德沙奈斯,阿巴斯·艾达拉特,普拉卡什·帕南加登:
标记马尔可夫过程互模拟的逻辑特征。 478-487

有限模型理论II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BaldwinB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaldwinB98
约翰·鲍德温,本尼迪克特:
嵌入式有限模型、稳定性理论和顺序的影响。 490-500
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Libkin98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Libkin98
列奥尼德·利布金:
关于计数逻辑和局部属性。 501-512
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KolaitisO98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KolaitisO98
Phokion G.Kolaitis公司,马丁·奥托:
二元一阶逻辑的有界性问题。 513-524
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Bars98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Bars98
Jean-Marie Le酒吧:
无0-1定律的存在二阶逻辑片段。 525-536

服务

管理网站设置

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