停止战争！

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

对于科学家：

默认搜索操作

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

问别人

逻辑与计算杂志，第21卷

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

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第21卷第1期，2011年2月

编辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CernaH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/CernaH11
伊万娜·塞拉,Boudewijn R.Haverkort公司:
验证中的并行和分布式方法。 1-3

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AbrahamSBFH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AbrahamSBFH11
埃里卡·阿布拉哈姆,托比亚斯·舒伯特,伯恩德·贝克尔,马丁·弗伦泽,克里斯蒂安·赫尔德:
有界模型检验中的并行SAT求解。 5-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BarnatCP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BarnatCP11
吉里·巴纳特,雅库布·查洛普卡,雅各·范德波尔:
SCC分解的分布式算法。 23-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BlomLP011
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/BlomLP011
斯特凡·布洛姆,伯特·利瑟,雅各·范德波尔,米夏埃尔·韦伯:
分布式状态空间生成的数据库方法。 45-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ChungC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ChungC11
明英中,吉安弗兰科·西亚多:
分布式符号可达性分析中的推测图像计算。 63-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/EzekielLS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/EzekielLS11
乔纳森·以西结,杰拉尔德·吕特根,西米尼亚努半径:
并行化还是优化？ 85-120

第21卷第2期，2011年4月

信件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/DitmarschV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/DitmarschV11
汉斯·范·迪特马什,Rineke Verbrugge公司:
游戏规则正在改变：逻辑学家之间的科学影响因素和出版策略。 121-132

论证角

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/StrasserS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/StrasserS11
克里斯蒂安·斯特拉,杜尼娅·塞塞利亚:
走向Dung论证框架的证明理论统一：一种适应性逻辑方法。 133-156

非经典逻辑角

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BabenyshevR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BabenyshevR11
谢尔盖·巴本尼舍夫,弗拉基米尔·里巴科夫:
线性时序逻辑LTL：可接受规则的基础。 157-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/DitmarschHL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/DitmarschHL11
汉斯·范·迪特马什,安德烈亚斯·赫齐格,蒂亚戈·德利马:
从情境演算到动态认识逻辑。 179-204

约束角

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Giunchiglia M11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/GiunchigliaM11
恩里科·朱奇利亚,马可·马拉特:
在规划中引入偏好作为可满足性。 205-229

证明理论角

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Kozak11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Kozak11
米查尔·科扎克:
循环对合分配全Lambek演算是可判定的。 231-252

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Yanofsky 11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Yanofsky11
诺森·亚诺夫斯基:
朝向算法的定义。 253-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Keisler L11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KeislerL11
H.杰罗姆·凯斯勒,Wafik Boulos Lotfallah公司:
广义量词的秩层次结构。 287-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HanhDHT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/HanhDHT11
杜德汉,Phan Minh Dung公司,阮杜雄（Nguyen Duy Hung）,潘明堂:
对扩展论证的怀疑语义学的归纳辩护。 307-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/OppenheimerZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/OppenheimerZ11
保罗·奥本海默,爱德华·扎尔塔:
逻辑基础上的关系与功能：类型理论考虑。 351-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ConiglioSS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ConiglioSS11
马塞洛·科尼格里奥,Amílcar Sernadas公司,克里斯蒂娜·塞尔纳达斯:
通过纤维化保存有限模型属性。 375-402

书评

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Banach11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Banach11
理查德·巴纳赫:
审查Event-B中的建模：系统和软件工程，第1版，让·雷蒙德·阿布里亚尔著。 403-404

第21卷第3期，2011年6月

编辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AguzzoliGM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/AguzzoliGM11
斯特凡诺·阿古佐利,布鲁内拉·格拉,文森佐·马拉:
拓扑对偶在代数多值逻辑测度理论中的应用。 405-406

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Dvurecenskij11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Dvurecenskij11
安纳托利·德武雷岑斯基:
MV-代数上的状态及其应用。 407-427
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/FlaminioGM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/FlaminioGM11
托马索·弗拉米尼奥,路易斯·戈多,恩里科·马尔基奥尼:
论国家可能对等物的逻辑形式化n个-有价值的Łukasiewicz活动。 429-446
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/FlaminioM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/FlaminioM11
托马索·弗拉米尼奥,佛朗科·蒙塔格纳:
多值概率推理模型。 447-464
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Fric11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Fric11
罗马修士:
黑体代数的状态：范畴方面。 465-477
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Kroupa11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Kroupa11
托马斯·克罗帕:
MV-代数联盟游戏的核心。 479-492
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Luestean11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Leustean11
Ioana Leustean公司:
具有状态的MV-代数的度量完备：一种随机独立的方法。 493-508
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Mundici11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Mundici11
丹尼尔·蒙迪奇:
Hilbert空间上具有恒等式的紧[0,1]值一阶Łukasiewicz逻辑。 509-525
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/000211
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/000211
汉斯·韦伯:
MV代数上的测度和拓扑。 527-539

第21卷第4期，2011年8月

编辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AdianBV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AdianBV11
谢尔盖·I·阿迪安,列夫·D·别克拉米舍夫,阿尔伯特·维瑟:
证明和计算。 541-542

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Viser11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Visser11
阿尔伯特·维瑟:
我们能使第二不完全性定理不受坐标约束吗？ 543-560
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Laurent11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Laurent11
奥利维耶·劳亨:
直觉双直觉网。 561-587
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Strassburger11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Strassburger11
Lutz Stra汉堡:
从深度推理到通过切割消除的证明网。 589-624
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BaazI11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BaazI11
马提亚斯·巴兹,罗莎莉·伊姆霍夫:
直觉主义逻辑中的神秘化。 625-638
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Plisko11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Plisko11
瓦莱里·普利斯科:
关于描述命题可实现逻辑的两次尝试。 639-663
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Dashkov11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Dashkov11
叶夫根尼·达什科夫:
直觉主义证明逻辑的算术完备性。 665-682
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Icard11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Icard11
托马斯·伊卡德:
GLP闭合片段的拓扑研究。 683-696
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Skvortsov11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Skvortsov11
Dmitrij P.Skvortsov公司:
关于具有常数域和嵌套域的Kripke框架的超直觉谓词逻辑的注记。 697-713

第21卷第5期，2011年10月

编辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CintulaMN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/CintulaMN11
彼得·辛图拉,乔治·梅特卡夫,卡尔斯·诺格拉:
数学模糊逻辑专题。 715-716

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Horcik11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Horcik11
罗斯蒂斯拉夫·霍西克:
关于有限积分交换剩余链的结构。 717-728
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Jenei11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Jenei11
萨恩多·杰内:
一类对合单范数的斜对称结构描述。 729-737
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BouEGR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BouEGR11
费利克斯·鲍,弗朗西斯科·埃斯特瓦,路易斯·戈多,里卡多·奥斯卡·罗德里格斯:
有限剩余格上的最小多值模态逻辑。 739-790
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AguzzoliDM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/AguzzoliDM11
斯特凡诺·阿古佐利,奥塔维奥·M·D’Antona,文森佐·马拉:
计算哥德尔命题逻辑中的最小公理化。 791-812
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Avron11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Avron11
阿诺·阿夫伦:
命题哥德尔逻辑完备性和截可容许性的简单证明。 813-821
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Hajek11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Hajek11
彼得·哈耶克:
模糊逻辑中的可解释性和可决定性评述。 823-828
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Montagna11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Montagna11
佛朗科·蒙塔格纳:
多值逻辑中条件事件书籍的一致性概念。 829-850
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/logcom/BolohlavekV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BelohlavekV11
拉迪姆·贝洛哈维克,维勒姆·维科迪尔:
从模糊逻辑的角度来看Codd的关系模型。 851-862

第21卷第6期，2011年12月

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RiecanovaP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RiecanovaP11
兹登卡·里卡诺娃,扬·帕塞卡:
一些原子格效应代数上的状态涂抹定理和状态的存在性。 863-882

角落文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Daniels11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Daniels11
蒂杰门·丹尼斯:
社会选择和简单游戏的逻辑。 883-906
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AlechinaLNR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AlechinaLNR11
娜塔莎·阿列奇纳,布莱恩·洛根,阮黄雅（Nguyen Hoang Nga）,阿卜杜尔·拉基布:
资源有限联盟的逻辑。 907-937
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Dima11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Dima11
卡塔琳·迪马:
具有具体可观测性的线性时间逻辑知识的非对称性。 939-958
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/ModgilB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/ModgilB11
桑杰·莫吉尔,特雷弗·J.M.长凳:
元层次论证。 959-1003

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Renne11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Renne11
布莱恩·雷恩:
正当化逻辑中的公共传播。 1005-1034
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Goldblat11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Goldblatt11
罗伯特·戈德布拉特:
覆盖量化松散逻辑的语义。 1035-1063
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CarvalhoDK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/CarvalhoDK11
卡塔琳娜·卡瓦略,维克托·达尔摩,安德烈·克鲁金:
两个新的同态对偶和格运算。 1065-1092
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MasiniVV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/MasiniVV11
安德烈亚·马西尼,卢卡·维甘,马尔科·沃尔佩:
捆绑分支时态逻辑的标记自然演绎。 1093-1163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Georgescu11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Georgescu11
乔治·乔治斯库:
直觉谓词逻辑的概率模型。 1165-1176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BrotherstonS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BrotherstonS11
詹姆斯·布罗瑟斯顿,亚历克斯·辛普森:
用于诱导和无限下降的序列结石。 1177-1216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/CranefieldW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/CranefieldW11
斯蒂芬·克雷菲尔德,迈克尔·维尼科夫:
通过模型检查截断路径来验证社会期望。 1217-1256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MaQH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/MaQH11
岳马,桂林齐,帕斯卡·希茨勒:
基于次一致语义计算不一致性度量。 1257-1281

服务

管理网站设置

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