默认搜索操作

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

问别人

第19届LICS 2004：芬兰图尔库

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/lics/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/2004
第19届IEEE计算机科学逻辑研讨会（LICS 2004），2004年7月14日至17日，芬兰图尔库，会议记录。 IEEE计算机学会 2004，国际标准图书编号0-7695-2192-4

第1部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/WohrleT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/WohrleT04
斯特凡·沃尔尔,沃尔夫冈·托马斯:
无限转移系统的模型检验同步乘积。 2-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EsparzaKM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EsparzaKM04
哈维尔·埃斯帕尔扎,安东·库塞拉,理查·马:
模型检查概率下推自动机。 12-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BaldamusPV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaldamusPV04
迈克尔·巴尔达穆斯,约阿希姆·帕罗,比约恩·维克多:
Spi微积分翻译成--微积分保存五月测试。 22-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PodelskiR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PodelskiR04
安德烈亚斯·波德尔斯基,安德烈·里巴尔琴科:
转换不变量。 32-41

第2部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/库萨诺夫NRS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KhousainovNRS04
Bakhadyr Khoussainov先生,安德烈·尼斯,萨沙·鲁宾,弗兰克·斯蒂芬:
自动结构：丰富性和局限性。 44-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/OuaknineW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/OuaknineW04
乔尔·瓦克宁,詹姆斯·沃雷尔:
关于时间自动机的语言包含问题：缩小可决定性差距。 54-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GrooteGS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GrooteGS04
菲利普·德格罗特,布鲁诺·纪尧姆,西尔万·萨尔瓦蒂:
向量加法树自动机。 64-73

第4次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Yannakakis04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Yannakakakis04
米哈利斯·扬纳卡基斯:
测试、优化和游戏。 78-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Leivant04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Leivant04
丹尼尔·利万特:
证明动态逻辑中的终止断言。 89-98

第5部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SeshiaB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SeshiaB04
桑吉特·塞希亚,兰达尔·布莱恩特:
使用参数化解界确定无量词Presburger公式。 100-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Klaedtke04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Klaedtke04
费利克斯·克莱特克:
关于Presburger算法的自动机大小。 110-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/拉图尔04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Latour04
路易乐图:
从自动机到公式：凸整数多面体。 120-129

第7次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Razborov04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Razborov04
亚历山大·拉兹博罗夫:
可行性证明与计算：合作与融合。 134-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Gabbay公司C04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GabbayC04
默多克·加贝,詹姆斯·切尼:
标称逻辑的序列微积分。 139-148

第8部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AbramskyGMOS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbramskyGMOS04
萨姆森·阿布拉姆斯基,丹·吉卡（Dan R.Ghica）,安德热伊·穆拉夫斯基,C.-H.卢克·翁,伊恩·戴维·贝德·斯塔克:
Nu-Calculus的名义游戏和完整抽象。 150-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ChatterjeeHJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChatterjeeHJ04
克里希南德·查特吉,托马斯·汉津格,马金·尤金斯基（Marcin Jurdzinski）:
具有安全平衡的游戏。 160-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AlfaroGJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AlfaroGJ04
卢卡·德·阿尔法罗,帕特丽斯·戈德弗里德,拉德哈·贾加迪桑:
游戏的三值抽象：不确定性，但具有精确性。 170-179

第9部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Terui04接口
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Terui04
Kazushige Terui公司:
证明网和布尔电路。 182-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AkamaBHK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AkamaBHK04
阿卡玛（Yohji Akama）,斯特凡诺·贝拉尔迪,Susumu Hayashi先生,乌尔里希·科伦巴赫:
排除中间律和相关原则的算术层次。 192-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/IntrigilaS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/IntrigilaS04
贝内代托·因特里吉拉,理查德·斯塔特曼:
Omega规则在lambda beta-Calculus中是II_2^0-Hard。 202-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FuhrmannP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FuhrmannP04
卡斯滕·福曼,大卫·J·派姆:
论经典逻辑的交互几何。 211-220

第10部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/小屋04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Huth04
伦敦帝国学院:
超越图像有限性：将过渡系统标记为石头空间。 222-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DalmauKL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DalmauKL04
维克托·达尔摩,安德烈·克鲁金,贝诺·拉罗泽:
偏序集和自反图的一阶可定义收缩问题。 232-241
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 控制台/lics/DunphyR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DunphyR04
布莱恩·邓菲,Uday S.Reddy公司:
参数限制。 242-251

第11次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Harper04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Harper04
罗伯·哈波:
自调整计算。 254-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CookT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CookT04
史提芬·古克,尼尔·萨彭:
弱算术中置换的强度。 256-264

第12部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BaillotT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BaillotT04
帕特里克·贝洛特,Kazushige Terui公司:
Lambda-Calculus中多项式时间计算的光类型。 266-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BucciarelliS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BucciarelilliS04
安东尼奥·布恰雷利,安东尼诺·萨利布拉:
兰姆达微积分的感觉图论。 276-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/VIICHP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/VICHP04
汤姆·墨菲七世,卡尔·克雷,罗伯·哈波,弗兰克·普芬宁:
分布式计算的对称模态Lambda演算。 286-295

第13次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Sangiorgi04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Sangiorgi04
戴维德·桑吉奥吉:
相互模拟：从起源到今天。 298-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/MousaviRG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MousaviRG04
穆罕默德·雷扎·穆萨维,米歇尔·雷尼尔斯,简·弗里索·格鲁特:
SOS与数据的一致性。 303-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/NaumannB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/NaumannB04
大卫·A·诺曼,巴纳特:
面向强制模块：关于不变量的推理和可变状态的共享。 313-323

第14次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Berger04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Berger04
乌尔里希·伯杰:
开放归纳法的计算解释。 326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DamsN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DamsN04
丹尼斯·达姆斯,Kedar S.Namjoshi公司:
分支时间模型检查的有限抽象的存在性。 335-344
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AbdullaDM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbdullaDM04
帕罗什·阿齐兹·阿卜杜拉,约翰·德奈克斯,普丽塔·马哈塔:
多时钟定时网络。 345-354

第15次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Walukiewicz04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Walukiewicz04
伊戈尔·瓦卢基维奇:
背景为游戏的景观。 356-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/诺德J04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/NordhJ04
古斯塔夫·诺德,彼得·琼森:
命题边界复杂性的代数方法。 367-376

第16次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/NguyenC04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/NguyenC04
Phuong Nguyen公司,史提芬·古克:
悉尼威立雅运输公司^{电路控制器}：TC的二阶理论^{电路控制器}. 378-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FlumG04配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FlumG04
Jörg Flum公司,马丁·格罗:
作为参数化不可测性基础的模型检验问题。 388-397
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CookK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CookK04
史提芬·古克,安东尼娜·科洛科洛娃:
NL的二阶理论。 398-407

第17次会议

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Abramsky04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Abramsky04网址
萨姆森·阿布拉姆斯基:
量子计算和信息的高级方法。 410-414
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Abramsky公司C04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AbramskyC04
萨姆森·阿布拉姆斯基,鲍勃·科克:
量子协议的分类语义。 415-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Marcial-RomeroE04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Marcial-RomeroE04（网址：https://dblp.org/rec/conf/lics/Marcial-RomeroE04）
何塞·雷蒙多·马西亚尔·罗梅罗,马丁·霍泽尔·埃斯卡多:
用于精确实数计算的序列语言的语义。 426-435

第18课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GroheS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GroheS04
马丁·格罗,妮可·施韦卡特:
线性序上一阶逻辑的简洁性。 438-447
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Bulatov公司04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Bulatov04
安德烈·布拉托夫:
关系结构图与约束满足问题。 448-457
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/洛斯托04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Luosto04
科科·洛斯托:
线性顺序上的均衡性。 458-465

管理网站设置

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