停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2006年第2卷第1期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/000206
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/000206
保罗·泰勒:
基于可计算的局部紧空间。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KuceraEM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KuceraEM06
安东·库塞拉,哈维尔·埃斯帕尔扎,理查·马:
模型检查概率下推自动机。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/NguyenC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/NguyenC06
Phuong Nguyen公司,史提芬·古克:
TC0和其他小型复杂类的理论。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/GuptaJP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/GuptaJP06
维尼特·古普塔,拉德哈·贾加迪桑,普拉卡什·帕南加登:
实时概率过程的近似推理。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/ConradieGV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/ConradieGV06
威廉·康雷迪,瓦伦丁·戈兰科,迪米特·瓦卡列洛夫:
模态逻辑中的算法对应性和完备性。一、核心算法SQEMA。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DongolG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DongolG06
布里杰什·多戈尔,道格·戈德森:
用进步的逻辑扩展Owicki和Gries的理论。

2006年第2卷第2期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Stoevring06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Stoevring06
克里斯蒂安·斯特夫林:
用满射配对扩展可拓Lambda微积分是保守的。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Courcelle06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Courcelle06网址
布鲁诺·库塞尔:
图的一元二阶逻辑XVI：标准图分解。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/HirschkoffLS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/HirschkoffLS06
丹尼尔·赫希科夫,埃蒂安·洛兹,戴维德·桑吉奥吉:
论环境逻辑的表达性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Tiu06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Tiu06
Alwen Tiu先生:
互动系统与结构II：深层推理的需要。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/LutzW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/LutzW06
卡斯滕·卢茨,弗兰克·沃尔特:
拓扑关系的模态逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CarayolM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CarayolM06
阿诺焦油醇,安托万·梅耶:
上下文敏感语言，有理图和决定论。

2006年第3期第2卷

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/NevenS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/NevenS06
弗兰克·内文,托马斯·施温蒂克:
关于存在析取、DTD和变量时XPath包含的复杂性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Libkin06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Libkin06
列奥尼德·利布金:
未分级树的逻辑：概述。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Hasegawa06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/长谷川06
长谷正彦:
关系参数和控制。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KobayashiSW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KobayashiSW06
小林直树,Kohei Suenaga公司,卢西安·维希克:
p-微积分的资源使用分析。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BabaianS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BabaianS06
塔马拉·巴巴扬,詹姆斯·施莫尔泽（James G.Schmolze）:
有效的开放世界规划推理。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Feferman06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Feferman06网址
所罗门·费弗曼:
塔斯基对计算机科学的影响。

2006年第4期第2卷

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Dalmau06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Dalmau06
维克托·达尔摩:
广义多数-少数操作是可牵引的。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/TuanBS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/TuanBS06
乐池团,奇塔·巴拉尔,Tran Cao儿子:
具有感知行为和不完全信息的领域的基于状态的回归公式。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/LamarcheS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/LamarcheS06
弗朗索瓦·拉马克,Lutz Stra汉堡:
从证明网到自由*自治类别。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AvigadF06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AvigadF06
杰里米·阿维加德,哈维·弗里德曼:
结合实际的决策程序。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/IntrigilaS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/IntrigilaS06
贝内代托·因特里吉拉,理查德·斯塔特曼:
Barendregt问题在Sensible lambda-Theories上的求解。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/W06级
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/GradelW06
埃里希·格拉德尔,伊戈尔·瓦卢基维奇:
无限多优先级博弈的位置确定性。

2006年第5期第2卷

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BirkedalTY06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BirkedalTY06网址
拉尔斯·比克达尔,诺亚·托普·史密斯,杨红seok:
类算法语言的分离逻辑类型语义和高阶框架规则。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BirkedalMP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BirkedalMP06
拉尔斯·比克达尔,拉斯穆斯·埃杰莱斯·莫格伯格,拉斯穆斯·勒奇达尔·彼得森:
线性阿巴迪和普洛金逻辑。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Gallier06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Gallier06
让·盖利尔:
命题分解的完备性：一个简单的构造性证明。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AdamekMV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AdamekMV06
杰里·阿达梅克,斯特凡·米利乌斯,杰里·韦利比尔:
埃尔格特代数。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BiereHJLS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BiereHJLS06
阿明·比尔,凯霍·赫尔扬科,汤米·A·琼蒂拉,蒂莫·拉塔瓦拉,维克多·舒潘:
有界LTL模型检查的线性编码。

服务

管理网站设置

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