停止战争！

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

对于科学家：

默认搜索操作

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

问别人

计算机科学中的逻辑方法，第4卷

>主页 >期刊销售 >计算机科学中的逻辑方法

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2008年第4卷第1期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/lmcs/BunderD08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BunderD08
马丁·邦德,威尔·德克尔斯:
有Hilbert-style纯类型系统吗？
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/JagadeesanJPR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/JagadeesanJPR08
拉德哈·贾加迪桑,阿兰·杰弗里,科林·皮彻,詹姆斯·里利:
Lambda-RBAC：使用基于角色的访问控制进行编程。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/JonesB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/JonesB08
尼尔·D·琼斯,尼娜·玻尔:
未类型化lambda演算中的按值终止调用。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/PittsS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/PittsS08
安德鲁·皮特斯,马克·申威尔:
名称的生成性解绑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Yan08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Yan08
齐齐燕:
通过全自动机技术实现ω-自动机互补的下限。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/HaymanW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/HaymanW08
乔纳森·海曼,格林·温斯克:
独立与并发分离逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/MaM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/MaM08
秦马,吕克·马兰杰:
联接微积分中的代数模式匹配。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Bes08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Bes08
亚历克西斯·贝斯:
Feferman-Vaugh定理在无限字母表上单词的自动机和逻辑中的应用。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/GuglielmiG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/GuglielmiG08
阿莱西奥·古列尔米,汤姆·冈德森:
原子流深度推理中的归一化控制。

2008年第4卷第2期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Moczydlowski08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Moczydlowski08
沃伊切赫·莫奇德洛夫斯基（Wojciech Moczydlowski）:
IZF归一化与替换。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BreugelSW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BreugelSW08
弗兰克·范·布鲁格尔,巴比塔·夏尔马,詹姆斯·沃雷尔:
概率系统无折扣近似行为伪度量。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Abel08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Abel08
安德烈亚斯·阿贝尔:
半连续尺寸类型和终端。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/HirschkoffP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/HirschkoffP08
丹尼尔·赫希科夫,达米安·普斯:
CCS的分布律和p-演算的一个新同余结果。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/MuschollW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/MuschollW08
安卡·穆斯科尔,伊戈尔·瓦卢基维奇:
Web服务组合的下限。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BirkedalY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BirkedalY08
拉尔斯·比克达尔,杨红seok:
关系参数和分离逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/LaroussineMO08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/LaroussineMO08网站
弗朗索瓦·拉鲁西尼,尼古拉斯·马基,加桑·奥雷比:
论ATL的表达性和复杂性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Comon-LundhJP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Comon-LundhJP08
休伯特·科蒙·隆德,弗洛伦特·雅克马尔,尼古拉斯·佩林:
具有内存和约束的可见树自动机。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BouyerLM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BouyerLM08
帕特里夏·鲍耶,金·古德斯特兰·拉森,尼古拉斯·马基:
模型检查单块定价时间自动机。

2008年第3期第4卷

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/FerranteMP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/FerranteMP08
亚历山德罗·费兰特,阿尼埃洛·穆拉诺,Mimmo父母:
强化µ-微积分模块检查。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AvronZ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AvronZ08
阿诺·阿夫伦,安娜·扎曼斯基:
带有（n，k）元量词的标准微积分。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/lmcs/Escardo08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Escardo08
Martín Hötzel Escardó:
高等类型计算中的穷举集。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/LozesHS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/LozesHS08
埃蒂安·洛兹,丹尼尔·赫希科夫,戴维德·桑吉奥吉:
环境逻辑中的可分性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/ConstableM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/ConstableM08
罗伯特·康斯特布尔,沃伊切赫·莫奇德洛夫斯基（Wojciech Moczydlowski）:
通过IZF集合理论语义从构造性HOL证明中提取程序。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Niqui08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Niqui08
米拉德·尼基:
精确实数算法中的共导形式推理。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AlfaroMRS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AlfaroMRS08
卢卡·德·阿尔法罗,鲁帕克·马朱姆达尔,维什瓦纳斯·拉曼,玛丽埃勒·斯托林加:
游戏精炼关系和度量。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Walukiewicz-ChrzaszczC08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Walukiewicz-ChrzaszczC08
Daria Walukiewicz-Chrzaszcz,杰切克·克尔扎斯茨（Jacek Chrzaszcz）:
《构造演算》改写的一致性和完备性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Rutten08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Rutten08
Jan J.M.M.Rutten先生:
Rational Streams合并。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/ShikumaI08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/ShikumaI08
直田石沼,井上Atsushi:
通过简单类型Lambda-Calculus的完全翻译证明不干涉。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BonattiLMV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BonattiLMV08
皮耶罗·A·博纳蒂,卡斯滕·卢茨,阿尼埃洛·穆拉诺,莫舍·瓦尔迪:
富集Mu-Calculi的复杂性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/JurdzinskiSL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/JurdzinskiSL08
马金·尤金斯基（Marcin Jurdzinski）,杰里米·斯普洛斯顿,弗朗索瓦·拉鲁西尼:
具有一个或两个时钟的模型检验概率时间自动机。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Werner08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Werner08
本杰明·沃纳:
关于证明相关类型理论的强度。

2008年第4卷第4期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Sofronie-Stokkermans08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Sofronie-Stokkermans08
Viorica Sofronie-Stokkerman公司:
局部理论扩展中的插值。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/YoshidaHB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/YoshidaHB08
吉田信子,Kohei Honda公司,马丁·伯杰:
具有局部状态的高阶函数的逻辑推理。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BaldanCEHK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BaldanCEHK08
保罗·巴尔丹,安德烈亚·科拉迪尼,哈特穆特·埃里格,瑞科·赫克尔,芭芭拉·科尼格:
开放Petri网的双相似性和行为保留重构。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DengGHM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DengGHM08
邓玉欣,罗布·范·格拉贝克,马修·轩尼诗,卡罗尔·摩根:
描述有限概率过程的测试预订单。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CoppolaLR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CoppolaLR08
保罗·科波拉,乌戈·达尔·拉戈,西蒙娜·隆奇·德尔拉·罗卡:
轻逻辑和按调用值Lambda演算。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/张合J08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/张HEJ08
张丽君,霍尔格·赫尔曼斯,弗里德里希·艾森布兰德,大卫·N·詹森:
流程更快：概率模拟的有效决策算法。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/EtessamiY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/EtessamiY08网址
库沙·埃特萨米,米哈利斯·扬纳卡基斯:
递归并发随机博弈。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/EtessamiKVY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/EtessamiKVY08
库沙·埃特萨米,Marta Z.Kwiatkowska公司,莫舍·瓦尔迪,米哈利斯·扬纳卡基斯:
马尔可夫决策过程的多目标模型检验。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Heenne08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Heenne08
克里斯·希恩:
紧凑可访问类别和量子密钥分发。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KupkeV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KupkeV08
克莱门斯·库普克,Yde Venema公司:
代数自动机理论：基本结果。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AlurABEIL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AlurABEIL08
拉杰夫·阿鲁尔,马塞洛竞技场,巴勃罗·巴塞洛,库沙·埃特萨米,尼尔·伊梅尔曼,列奥尼德·利布金:
嵌套词的一阶和时态逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DanvyM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DanvyM08
奥利维尔·丹维,凯文·米利金:
用J算子对Landin的SECD机器进行理性解构。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BussHJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BussHJ08
塞缪尔·巴斯,扬·霍夫曼,简·约翰森:
带引理的分辨率树：用子句学习表征DLL算法的分辨率精化。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/HagueO08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/HagueO08
马修·黑格,C.-H.卢克·翁:
高阶下推系统的符号向后可达性分析。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Murlak08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Murlak08
菲利普·穆拉克:
确定性树语言的Wadge层次结构。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Bollig08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Bollig08
Benedikt Bollig公司:
论二层可视下推自动机的表达能力。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Schroder08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Schroder08
卢茨·施罗德:
HasCASL中的引导感应型和共感应型。

服务

管理网站设置

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