默认搜索操作

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

问别人

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

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2009年第1期第5卷

- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0812-4848
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0812-4848
迈克尔·鲍兰德,托马斯·施奈德,亨宁·施诺尔,伊尔卡·施努尔,赫里贝特·沃尔默:
线性时间逻辑的广义可满足性的复杂性。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0901-2068
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0901-2068
吉尔·斯尔巴:
可视化下推自动机的超越语言等价性。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0901-2399
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0901-2399
威廉·布鲁姆,C.-H.卢克·翁:
安全Lambda微积分。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0902-1179
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0902-1179
马丁·格罗,Götz Schwandtner公司:
线性订单数据日志的复杂性。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0902-3958
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0902-3958
劳伦特·多恩,Jean-François Raskin女士:
基于自动化的模型检查方法的反链。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0902-0043
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0902-0043
克里斯托夫·本兹穆勒,乍得E.布朗,迈克尔·科尔哈斯:
剪切模拟和不折不扣。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0903-2410
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-2410
珍妮·伊夫·马里恩:
分层小跳跃操作员。

2009年第2期第5卷

- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0901-2518
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0901-2518
科恩·克莱森,Jan-Willem Roorda公司:
广义符号轨迹评估的忠实语义。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0901-4430
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0901-4430
海尔·维德·汉森,克莱门斯·库普克,埃里克·帕奎特:
邻域结构：相似性和基本模型理论。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0903-3126
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-3126
艾哈迈德·布阿贾尼,塞扎拉·德拉戈伊,康斯坦丁·埃纳,Yan Jurski先生,米哈拉·西希雷亚努:
无限状态过程动态网络推理的一般框架。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0903-1032
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-1032
穆罕默德·拉扎,菲利普·加德纳:
局部推理中的足迹。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0811-2198
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0811-2198
亚历山大·拉比诺维奇:
可数命令的教会问题。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0903-1374
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-1374
贝内代托·因特里吉拉,理查德·斯塔特曼:
欧米茄法则是∏₁¹-完成λβ-微积分。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0903-2445
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-2445
克里希南德·查特吉,卢卡·德·阿尔法罗,马可·费拉,Axel Legay公司:
概率系统的定性逻辑和等价性。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-0903-4382
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-4382
阿米尔·本·阿姆拉姆,李金顺:
尺寸改变终端的排名函数II。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/corr/abs-0712-1765
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0712-1765
雨果·金伯特,弗洛里安·霍恩:
求解具有少量随机顶点的简单随机游戏。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0902-2073
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0902-2073
奥哈·什卡拉夫斯卡,马可·C·J·D·范·埃克伦,罗恩·范·凯斯特伦:
一阶形状函数的多项式大小分析。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-0903-1822
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-1822
何塞·埃斯皮里托·桑托,拉尔夫·马提斯,路易斯·平托:
直觉顺序演算的连续传球风格和强标准化。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0904-4902
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0904-4902
Tal Lev阿米,尼尔·伊梅尔曼,托马斯·W·代表,穆利·萨吉夫,悉达赫·斯里瓦斯塔瓦,格雷塔·约什:
使用一阶逻辑模拟可达性，并应用于验证链接数据结构。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-0904-2521
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0904-2521
弗洛伦特·马德兰:
宇宙结构和禁忌模式的逻辑。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-cs-0701032
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0701032
纪尧姆·邦芬特,伊夫·吉拉德:
作为测谎仪的程序：可计算性和复杂性。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0904-2340
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0904-2340
Diletta Cacciagrano公司,弗拉维奥·科拉迪尼,帕拉米德斯猫:
测试语义的明确公平性。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0809-3960
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0809-3960
杰斯珀·本特森,约阿希姆·帕罗:
使用标称逻辑对像素进行形式化。

2009年第3期第5卷

- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0905-2539
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0905-2539
迪莉娅·凯斯纳:
具有安全和完整组成的显式替换理论。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-0907-3804
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0907-3804
科林·斯特林:
高阶匹配的可判定性。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0905-3668
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0905-3668
本瑟姆,打捆机十类,Jouko A.Väänänen:
一阶逻辑片段的Lindström定理。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0907-0616
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0907-0616
菲利普·魏斯,尼尔·伊梅尔曼:
词上FO^2的结构定理和严格交替层次。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-0904-4119
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0904-4119
米科拉伊·博扬奇克:
树上的双向一元时态逻辑。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0906-2727
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0906-2727
彼得罗·迪·贾南托尼奥,福里奥·霍塞尔,玛丽娜·莱尼萨:
RPO、二阶上下文和Lambda-calculus。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0906-5488
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0906-5488
Rasmus Ejlers Møgelberg公司,亚历克斯·辛普森:
计算效果的关系参数。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-0907-4477
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0907-4477
尼科斯·齐夫列科斯:
标称一般参考的完整抽象。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0905-4813
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0905-4813
尼尔·加尼,彼得·汉考克,德克·帕丁森:
使用嵌套固定点的流处理器表示。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0908-2793
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0908-2793
德克斯特·科赞,尼古拉斯·鲁齐:
公制硬币的应用。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0909-1198
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0909-1198
达格·诺曼:
有限类型泛函的丰富层次结构。

2009年第4期第5卷

- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0907-259
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0907-259
Sylvain Lebresne公司:
Call-By-Name异常的类型系统。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-0906-1350
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0906-1350
Catalin Hritcu公司,简·施温哈默:
祈使宾语的阶梯式语义。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0910-4081
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0910-4081
杰伦·凯特马,雅各布·格鲁·西蒙森:
无限组合约简系统：汇流。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0910-1268
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0910-1268
奥利维尔·芬克尔:
集合论模型中无限计算的复杂性。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-0912-2109
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0912-2109
罗布·范·格拉贝克,巴斯·卢提克,尼古拉·特雷卡:
带死锁检测的计算树逻辑。
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0906-0380
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0906-0380
达米亚诺·马扎:
对称相互作用组合器中的观测等价性和完全抽象。

管理网站设置

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