停止战争！

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

对于科学家：

默认搜索操作

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

问别人

IGPL逻辑杂志，第17卷，2009年

>主页 >期刊销售 >IGPL逻辑杂志

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第17卷第1期，2009年2月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GabbayS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GabbayS09
Dov M.Gabbay公司,卡尔·施莱赫塔:
可失效的继承系统和反应图。 1-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/MahalakshmiG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/MahalakshmiG09
G.S.马哈拉克什米,T.V.吉萨:
印度基于逻辑的知识共享论据表示形式主义。 55-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/CaminadaW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/CaminadaW09
马丁·卡米纳达,吴怡宁:
稳定语义的论证游戏。 77-90
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/CaicedoDJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/CaicedoDJ09
泽维尔·凯塞多,弗朗西安·德切斯,西奥·M·V·詹森:
不完全信息逻辑的等价性和量词规则。 91-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/ArratiaO09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/ArratiaO09
Argimiro Arratia公司,卡洛斯·奥尔蒂斯:
捕获计算复杂性类的逻辑的近似公式。 131-154

第17卷第2期，2009年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GencerJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GencerJ09
乔伊格登·根瑟,迪克·德容:
K4扩张的一致性。 159-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Loeb09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Loeb09
艾丽斯·勒布:
构造逆数学中R的负稠密子集的不可分解性。 173-177
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Tohme09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Tohme09
费尔南多·托梅:
经济理论与替代集理论^-+AD+直流。 179-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Krupka09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Krupka09
米查尔·克鲁普卡:
剩余格的因式分解。 205-223

第17卷第3期，2009年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/政府PRS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GovernatoriPRS09
圭多总督府,Vineet Padmanabhan公司,安东尼诺·罗托洛,阿布杜勒·萨塔尔:
建立基于政策的意图和动机态度模型的可行逻辑。 227-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/KhaledS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/KhaledS09
穆罕默德·哈立德,塔雷克·赛义德·艾哈迈德:
关于逻辑代数的完全表示。 267-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/BoellaST09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/BoellaST09
吉多·波埃拉,路易吉·索罗,Leendert W.N.van der Torre（林德特·范德托雷）:
利用新的互惠条件寻找联盟的算法。 273-297
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/AgotnesHW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/AgotnesHW09
托马斯·奥戈特斯,威比·范德霍克,迈克尔·伍尔德里奇:
定性联合游戏的逻辑。 299-321

第17卷第4期，2009年8月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/ArieliZ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/ArieliZ09
奥弗·阿里埃利,安娜·扎曼斯基:
用于不确定性推理的基于距离的非确定性语义。 325-350
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/CaludeH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/CaludeH09
克里斯蒂安·卡鲁德,尼古拉斯·海伊:
每个可计算可枚举随机实数都是可证明的可计算可计数随机数。 351-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Golinska-PilarekM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Golinska-PilarekM09
乔安娜·戈林斯卡·皮拉雷克,埃米利奥·穆尼奥斯·贝拉斯科:
具有可忽略性、非接近性和距离的数量级定性推理逻辑的关系方法。 375-394
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/NolaHJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/NolaHJ09
安东尼奥·迪·诺拉,米查尔·霍尔卡佩克,杰扎·延卡:
MV-pairs的类别。 395-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/WangZ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/WangZ09
王三民,赵斌:
HpsUL不是伪单位及其残差的逻辑。 413-419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/French09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/French09
罗汉法语:
将E简化嵌入到单峰K中。 421-428
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/MadaraszA09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/MadaraszA09
朱迪特·马达拉斯,塔雷克·赛义德·艾哈迈德:
整洁还原与融合的回顾，结果和一些方法的综述。第一部分：整洁还原的结果。 429-483

第17卷第5期，2009年10月

前言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Ayala-RinconH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Ayala-RinconH09
毛里西奥·阿亚拉·林科,爱德华·赫尔曼·海斯勒:
前言。 487-488

原始文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Dowek09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Dowek09
吉尔斯·道克:
证明理论中基于约简和基于模型的方法的收敛性。 489-497
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GaboardiR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GaboardiR09
马可·加博阿迪,西蒙娜·隆奇·德尔拉·罗卡:
从轻逻辑到类型分配：案例研究。 499-530
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/ArrudaM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/ArrudaM09
亚历山大·马托斯·阿鲁达,安娜·特雷莎·马丁斯:
用无穷规则对有限最小不动点逻辑进行自然演绎。 531-558
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/BenevissS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/BenevidesS09
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
使用模态逻辑来表示和检查全局图形属性。 559-587

第17卷第6期，2009年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Riguzzi09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Riguzzi09
法布里齐奥·里古齐:
独立选择逻辑的扩展语义和推理。 589-629
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/igpl/BarringerGR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/BarringerGR09
霍华德·巴林格,Dov M.Gabbay公司,大卫·E·瑞德海尔:
演化组件系统建模：第一部分：逻辑框架。 631-696
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/VenturaAK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/VenturaAK09
丹尼尔·利马·文图拉,毛里西奥·阿亚拉·林科,Fairouz Kamaredine公司:
显式替换结石，一步埃塔减少明确决定。 697-718
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Mann09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Mann09
艾伦·L·曼:
独立友好的圆柱集代数。 719-754
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/MadaraszA09a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/MadaraszA09a
朱迪特·马达拉斯,塔雷克·赛义德·艾哈迈德:
简约化归合并的回顾、结果综述和一些方法第二部分：合并的结果。 755-802

勘误表

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/OliveiraC09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/OliveiraC09
伊戈尔·卡博尼·奥利维拉,沃尔特·亚历山大·卡尼埃利:
“Ricean反对：Rice一阶理论定理的类比”勘误表。IGPL逻辑期刊，16（6）：585-590（2008）. 803-804

服务

管理网站设置

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