默认搜索操作

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

问别人

逻辑与计算杂志，第17卷

>主页 >期刊销售 >逻辑与计算杂志

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第17卷第1期，2007年2月

非经典逻辑角

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Wansing07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Wansing07网址
海因里希·瓦辛:
介绍和论文征集。 5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Bauer07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Bauer07
塞巴斯蒂安·鲍尔:
公理化QCTL的单字片段。 7-30

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/DalmauKL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/DalmauKL07
维克托·达尔摩,安德烈·克鲁金,贝诺·拉罗泽:
偏序集和自反图的一阶可定义收缩问题。 31-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/FingerW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/FingerW07
马塞洛·芬格,雷娜塔·沃瑟曼:
经典逻辑的任意时间近似。 53-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AgotnesA07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/AgotnesA07
托马斯·奥戈特斯,娜塔莎·阿列奇纳:
句法知识的动态。 83-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Reynolds07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Reynolds07
马克·雷诺兹:
捆绑CTL表。 117-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Pratt-Hartmann07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Pratt-Hartmann07网址
伊恩·普拉特·哈特曼:
带计数量词的保护二变量片段的复杂性。 133-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/RanzatoT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RanzatoT07
弗朗西斯科·兰扎托,弗朗西斯科·塔帕罗:
抽象解释的广义强保存。 157-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Buszkowski07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Buszkowski07网址
沃伊切赫·巴斯科夫斯基（Wojciech Buszkowski）:
论动作逻辑：动作代数的等式理论。 199-217

第17卷第2期，2007年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Hussain07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Hussain07网址
阿尔塔夫·侯赛因:
区间逻辑的新模态方法。 221-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Hirsch07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Hirsch07
罗宾·赫希:
皮尔士代数和布尔模。 255-283
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/LoweS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/LoweS07
Benedikt Löwe公司,布莱恩·塞姆斯:
建设性游戏标签的范围。 285-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Zielonka07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Zielonka07
Wojciech Zielonka公司:
关于具有空字符串的非关联Lambek微积分的等价归约系统。 299-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MarchioniM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/MarchioniM07
恩里科·马尔基奥尼,佛朗科·蒙塔格纳:
L Pi 1/2中的复杂性和可定义性问题。 311-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Moszkowski07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Moszkowski07
本·莫斯科夫斯基（Ben C.Moszkowski）:
使用时间逻辑分析时间逻辑：基于区间的层次方法。 333-409

第17卷第3期，2007年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/SheremetTWZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/SheremetTTWZ07
米哈伊尔·谢勒梅,德米特里·蒂什科夫斯基,弗兰克·沃尔特,迈克尔·扎克哈里亚舍夫:
概念和相似性逻辑。 415-452
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/FermulerP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/FermullerP07
克里斯蒂安·弗缪勒（Christian G.Fermüller）,莱因哈德·皮克勒:
有限和无限签名的模型表示。 453-477
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Hansson07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Hansson07
斯文·奥夫·汉森:
基于句子选择的收缩。 479-498
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/OrtizO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/OrtizO07
马格达莱娜·奥尔蒂斯,毛里西奥·奥索里奥:
安全信念语义中的强否定与等价。 499-515
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BolanderB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/BolanderB07
托马斯·博兰德,帕特里克·布莱克本:
混合表终端。 517-554
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BaltagCS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BaltagCS07
亚历山德鲁·巴尔塔格,鲍勃·科克,迈赫诺什·萨德扎德:
认识行动作为资源。 555-585
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Jerabek07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Jerabek07网址
埃米尔·热拉尔·贝克:
关于弱鸽子洞原理变体的独立性。 587-604

勘误表

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/X07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/X07
Tarski初等链定理的机构相关推广。 605

勘误表

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/X07a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/X07a
具有常见弱完井的逻辑。 607

第17卷第4期，2007年8月

编辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Horrocks07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Horrocks07网址
伊恩·霍洛克斯:
本体工程角的逻辑。 615

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Motik07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Motik07
鲍里斯·莫提克:
关于OWL中元建模的属性。 617-637
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ForthM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ForthM07网址
杰里米·福思,罗伯·米勒:
分歧：事件演算的一个扩展和对应结果。 639-685
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BiriG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BiriG07
尼古拉斯·比里,迪迪埃·加尔米奇:
资源树的模型和分离逻辑。 687-726
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ZhuX07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ZhuX07
朱朝晖,肖文杰:
非单调推理关系的两个表示定理。 727-747
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AguzzoliBM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/AguzzoliBM07
斯特凡诺·阿古佐利,曼努埃拉·布萨尼切,文森佐·马拉:
有限生成幂零极小代数的谱对偶性及其应用。 749-765
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GoreT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/GoreT07
拉杰夫·戈尔,Alwen Tiu先生:
结构演算中的经典模态显示逻辑和S5的最小无割深度推理演算。 767-794
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HalpernR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/HalpernR07
约瑟夫·哈珀（Joseph Y.Halpern）,莱安德罗·查夫斯·雷戈:
模态逻辑可满足性问题中NP-PSPACE间隙的刻画。 795-806
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ColemanJ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ColemanJ07
乔伊·科尔曼,克利夫·琼斯:
可靠性/保证规则的结构证明。 807-841

第17卷第5期，2007年10月

特刊：常识推理的逻辑形式化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/McIlraithPT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/McIlraithPT07
希拉·麦克拉伊思,帕夫洛斯·佩帕斯,迈克尔·泰尔舍尔:
前言。 847-849
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Bochman07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Bochman07网址
亚历山大·波奇曼:
诱拐的因果理论。 851-869
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/DelgrandST07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/DelgrandST07
詹姆斯·德尔格兰德,托尔斯滕·绍布,汉斯·托姆皮茨:
因果推理和规划中表达偏好的一般框架。 871-907
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GauwinKM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/GauwinKM07
奥利维尔·高文,塞巴斯蒂安·科尼奇尼,皮埃尔·马奎斯:
通过反复信仰融合实现和解。 909-937
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HopkinsP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/HopkinsP07
马克·霍普金斯,朱迪亚·珀尔:
情境演算中的因果关系和反事实。 939-953
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Moinard07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Moinard07网址
伊夫·莫纳德:
用不同的命题符号忘记文字。 955-982
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ShapiroLL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ShapiroLL07网址
史蒂文·夏皮罗,伊夫·莱斯佩伦斯,赫克托·J·列夫斯克:
情境演算中的目标改变。 983-1018

第17卷第6期，2007年12月

特刊：计算障碍的逻辑方法：CiE 2006年

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BeckmannLN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BeckmannLN07
阿诺德·贝克曼,Benedikt Löwe公司,达格·诺曼:
计算障碍的逻辑方法：CiE 2006。 1021-1023
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/AfshariBCS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AfshariBCS07
巴哈雷语Afshari,乔治·巴姆帕利亚斯,巴里·库珀,弗兰克·斯蒂芬:
Post的Ershov层级计划。 1025-1040
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BarmpaliasBCDW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BarmpaliasBCDW07
乔治·巴姆帕利亚斯,保罗·布罗德黑德,道格拉斯·森泽,塞耶德·达什蒂,丽贝卡·韦伯:
闭集的算法随机性。 1041-1062
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Dahlgren07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Dahlgren07
弗雷德里克·达尔格伦:
部分连续函数和可容许域表示。 1063-1081
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BoerW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BoerW07
阿诺德·V·登·波尔,安德烈亚斯·魏尔曼:
初等下降递归函数的尖锐相变阈值。 1083-1098
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/SirokofskichD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/SirokofskichD07
阿拉·西罗科夫斯基,科斯塔斯·迪米特拉科普洛斯:
关于J.Paris的一个问题。 1099-1107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/DyckhoffL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/DyckhoffL07
罗伊·戴克霍夫,圣埃芬·伦格兰:
调用值lambda-calculus和LJQ。 1109-1134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KudinovS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KudinovS07
奥列格·库迪诺夫,维克托·塞利瓦诺夫:
有限标记森林同态拟序的不确定性。 1135-1151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/LiuW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/LiuW07
姜柳,吴国华:
隔离、Infima和钻石嵌入。 1153-1166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Skelley07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Skelley07
阿兰·斯凯利:
三阶计算和有界算法。 1167-1191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Soskov07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Soskov07
伊万·索斯科夫:
欧米伽计数度。 1193-1214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Soskova07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Soskova07网址
亚历山德拉·A·索斯科娃:
相对度谱。 1215-1233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Soskova07a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Soskova07a
玛丽亚·伊万诺瓦·索斯科娃:
枚举度中的遗传性和非边界性。 1235-1255

管理网站设置

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