默认搜索操作

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

问别人

1997年第12届LICS：波兰华沙

>主页 >会议和研讨会 >许可证

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/1997
1997年6月29日至7月2日，波兰华沙，第12届IEEE计算机科学逻辑年会论文集。 IEEE计算机学会 1997，国际标准图书编号0-8186-7925-5

受邀演讲人

鲁卡·凯德利:物体理论。

重写和扣除

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Baader97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Baader97
弗兰兹·巴德:
符合基本条款的兼容降价订单组合。 2-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BouhoulaJ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BouhoulaJ97
阿德尔·布胡拉,Jean-Pierre Jouannaud女士:
自动驱动的自动感应。 14-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ComonJ97文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ComonJ97
休伯特·科蒙,弗洛伦特·雅克马尔:
地面可还原性为EXPTIME-Complete。 26-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CosmoK97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CosmoK97
罗贝多·迪·科斯莫,迪莉娅·凯斯纳:
在证明网（扩展抽象）中通过截消法对显式替换进行强规范化。 35-46

线性逻辑与博弈语义学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KanovichI97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KanovichI97
马克斯·卡诺维奇,伊藤忠雄:
并发进程的时序线性逻辑规范（扩展抽象）。 48-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Laird97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Laird97
詹姆斯·莱尔德:
带控制的函数式语言的完整抽象。 58-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BaillotDE97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaillotDE97
帕特里克·贝洛特,文森特·达诺斯,托马斯·埃尔哈德,劳伦特·雷格尼尔:
信不信由你，AJM的游戏模型是一个经典线性逻辑模型。 68-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Hughes97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Hughes97
多米尼克·J·D·休斯:
游戏和系统F的可定义性。 76-86

模型检查

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AndersenH97文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AndersenH97
亨利克·赖夫·安徒生,亨利克·胡尔加德:
布尔表达式图（扩展抽象）。 88-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DziembowskiJW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DziembowskiJW97
斯特凡·齐姆博夫斯基,马金·尤金斯基（Marcin Jurdzinski）,伊戈尔·瓦卢基维奇:
赢得无限游戏需要多少内存？ 99-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HuthK97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HuthK97
伦敦帝国学院,Marta Z.Kwiatkowska公司:
定量分析和模型检查。 111-122

受邀演讲人

安妮塔·费弗曼:阿尔弗雷德·塔斯基传奇：从华沙到伯克利。

辅导的

大卫·A·麦卡利斯特:推理规则的自动化复杂性方法。

并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/小林97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kobayashi97
小林直树:
一种部分无死锁的过程微积分。 128-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Rathke97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Rathke97
朱利安·拉特克:
价值传递过程的独特固定点归纳法（扩展抽象）。 140-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BluteDEP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BluteDEP97
理查德·布鲁特,何塞·德沙奈斯,阿巴斯·艾达拉特,普拉卡什·帕南加登:
标记马尔可夫过程的互模拟。 149-158

时序逻辑与自动机

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Asarin公司CM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AsarinCM97
尤金细辛,保罗·卡斯皮,奥德·马勒:
时间自动机的Kleene定理。 160-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Janin97年1月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Janin97
大卫·贾宁:
自动机、Tableaus和任意完备格中不动点演算的一个约化定理。 172-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ThiagarajanW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ThiagarajanW97
P.S.Thiagarajan先生,伊戈尔·瓦卢基维奇:
Mazurkiewicz迹的一种表示完备线性时间时序逻辑。 183-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Kozen97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Kozen97
德克斯特·科赞:
克莱恩代数中推理的复杂性。 195-202

有限模型理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Libkin97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Libkin97
列奥尼德·利布金:
关于有限模型上局部性的形式。 204-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Grohe97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Grohe97
马丁·格罗:
具有少量L的大型有限结构^k个-类型。 216-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EtessamiVW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EtessamiVW97
库沙·埃特萨米,莫舍·瓦尔迪,托马斯·威尔克:
二元一阶逻辑和一元时态逻辑。 228-235
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MatzT97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MatzT97
奥利弗·马茨,沃尔夫冈·托马斯:
图上的一元量词交替层次是无限的。 236-244

受邀演讲人

莱泽克·帕霍尔斯基:设置约束。

语义与领域理论I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PottsEE97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PottsEE97网址
彼得·约翰·波茨,阿巴斯·艾达拉特,马丁·霍泽尔·埃斯卡多:
精确实数运算的语义。 248-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/RieckeS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/RieckeS97
乔恩·里克,安德斯·桑德霍姆:
回调序列的关系描述。 258-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FiorePP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FiorePP97
马塞洛·菲奥雷,戈登·普洛金,A.约翰·鲍尔:
公理域理论中的完备立方集。 268-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/TuriP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/TuriP97
丹尼尔·图里,戈登·普洛金:
走向数学操作语义学。 280-291

可决定性与复杂性理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Vorobyov公司97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Vorobyov97
谢尔盖·沃罗比奥夫:
“最难”的自然决定论。 294-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/等级OR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/等级OR97
埃里希·格拉德尔,马丁·奥托,埃里克·罗森:
带计数的双变量逻辑是可判定的。 306-317
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PacholskiST97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PacholskiST97
莱泽克·帕霍尔斯基,维斯拉夫·斯瓦斯特,丽迪娅·坦德拉:
带计数的二元逻辑的复杂性。 318-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/张R97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ZhangR97
张国强,威廉·C·罗兹:
电力违约推理的复杂性。 328-339

类型和约束

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HeintzeM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HeintzeM97
内文·海因策,大卫·A·麦卡利斯特:
论子类型和流分析中的立方瓶颈。 342-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HengleinR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HengleinR97
弗里茨·亨利恩,雅各布·雷霍夫:
简单类型的子类型蕴涵的复杂性。 352-361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CharatonikP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CharatonikP97
维托尔德·查拉托尼克,安德烈亚斯·波德尔斯基:
设置带交点的约束。 362-372

辅导的

休伯特·科蒙:树自动机在重写和Lambda演算中的应用。

语义学与领域理论II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EscardoS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EscardoS97
马丁·霍泽尔·埃斯卡多,托马斯·斯特里彻:
通过双自由代数的双商在部分实线上的归纳和递归。 376-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/HofmannS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/HofmannS97
马丁·霍夫曼,托马斯·斯特里彻:
连续模型对于Lambda-Mu-Calculus是通用的。 387-395
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Dezani-CiancagliniTU97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Dezani-CiancagliniTU97
Mariangiola Dezani-Ciancaglini公司,Jerzy Tiuryn公司,巴维尔·乌尔兹琴:
平行观察员的歧视。 396-407

统一与高阶逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Goubault-Larrecq97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Goubault-Larrecq97
让·古堡-拉雷克:
Ramified高阶统一。 410-421
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Cervesato第97页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CervesatoP97
伊利亚诺·塞韦萨托,弗兰克·普芬宁:
线性高阶预统一。 422-433
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/McDowell M97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/McDowellM97
雷蒙德·麦克道尔,戴尔·米勒:
一种高阶抽象语法推理逻辑。 434-445

管理网站设置

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