停止战争！

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

对于科学家：

默认搜索操作

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

问别人

逻辑与计算杂志，第10卷

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2000年2月第10卷第1期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HarrisonS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/HarrisonS00
彼得·哈里森,B.斯特鲁洛:
SPADES-离散事件模拟的进程代数。 3-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HensonR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/HensonR00
马丁·汉森,史蒂夫·里夫斯:
调查Z。 43-73
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BugliesiDLM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BugliesiDLM00
米歇尔·布列西,乔治·德尔扎诺,路易吉·利古里,毛里齐奥·马泰利:
线性逻辑中的对象计算。 75-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Schulz00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Schulz00
克劳斯·舒尔茨:
统一和不统一的组合问题的可追溯和难以解决的实例。 105-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Blackburn00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Blackburn00
帕特里克·布莱克本:
内部化标记扣除。 137-168

2000年4月第10卷第2期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RitterPW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RitterPW00
艾克·里特,大卫·J·派姆,林肯·A·沃伦:
经典和直观分辨率的证明条件。 173-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Baldwin00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Baldwin00
约翰·鲍德温:
稳定性、有限覆盖性质和0-1定律。 209-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AguzzoliCN00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/AguzzoliCN00
斯特凡诺·阿古佐利,阿加塔·西阿巴托尼,安东尼奥·迪·诺拉:
通过布尔分解实现有限值Lukasiewicz逻辑的序列计算。 213-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Wolter00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Wolter00
弗兰克·沃尔特:
逆向PDL与多峰K的乘积。 223-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/SuCD00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/SuCD00
苏凯乐,火王陈,丁德成:
满足Halpern条件的“可能性”的两个替代概念。 253-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BaruaRC00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/BaruaRC00
拉娜·巴鲁阿,苏曼·罗伊,周朝晨:
邻域逻辑的完整性。 271-295
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Akinkummi00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Akinkummi00（网址：https://db2p.org/rec/jeurnals/logcom/Akinkunmi00）
Babatunde Opeoluwa Akinkummi公司:
关于具体化理论的表达极限。 297-313

2000年6月第10卷第3期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KamareddineK00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KamareddineK00
Fairouz Kamaredine公司,简·威廉·克洛普:
编辑。 321-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GlauertKK00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/GlauertKK00
约翰·R·W·格劳特,理查德·肯纳韦,苏拉布·卡西达什维利:
结果稳定，相对标准化。 323-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KamareddinR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/KamareddineR00
Fairouz Kamaredine公司,亚历杭德罗·里奥斯:
关联显式替换的λσ-和λs样式。 349-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KhasidashviliP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KhasidashviliP00
苏拉布·卡西达什维利,阿道夫·皮佩诺:
规范化的句法分析。 381-410
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Kfoury00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Kfoury00
A.J.Kfoury公司:
Lambda-calculus和结果的线性化。 411-436
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KlopOV00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KlopOV00
简·威廉·克洛普,文森特·范·奥斯特罗姆,罗埃尔·C·德·弗里耶:
通过减少图表对汇流进行几何证明。 437-460
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/logcom/Mellies00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Mellies00
保罗·安德烈·梅利埃:
公理重写理论II：λσ-演算具有有限的正规化锥。 461-487

2000年8月第10卷第4期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/LongoMS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/LongoMS00
朱塞佩·隆戈,凯瑟琳·米尔斯特德,谢尔盖·索洛维耶夫:
作为蕴涵的亚型的连贯性和及物性。 493-526
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/LimaL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/LimaL00
埃里卡·德利马,克里斯托夫·林根费尔德:
模态自然演绎的证明。 527-572
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Schlechta00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Schlechta00网址
卡尔·施莱赫塔:
无限制优惠结构。 573-581
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Ekenberg00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Ekenberg00网址
爱艾肯伯格:
决策代理之间冲突的逻辑。 583-602
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/PeppasFN00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/PeppasFN00
帕夫洛斯·佩帕斯,诺曼·Y·福,阿巴亚·纳亚克:
度量信念修正中的相似性。 603-619年

2000年10月第10卷第5期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GordanoMS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/GiordanoMS00
劳拉·佐丹奴,阿尔贝托·马泰利,卡米拉·施温德:
模态动作逻辑中的分支和因果关系。 625-662
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Derrick00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Derrick00
约翰·德里克:
Z的单一完整细化规则。 663-675
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Hunter00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Hunter00
安东尼·亨特:
使用准经典逻辑用矛盾信息进行推理。 677-703
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Engelfriet00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Engelfriet00（英文）
乔里·恩格弗里特:
非演绎推理：规则和模型。 705-719
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Kamareddine00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Kamareddine00
Fairouz Kamaredine公司:
广义归约的强归一化的延迟、守恒和保留。 721-738

第10卷第6期，2000年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BarklundDCL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/BarklundDCL00
乔纳斯·巴克隆德,皮耶朗基罗·德尔·阿夸,斯蒂芬妮娅·科斯坦蒂尼,盖塔诺·奥雷利奥·兰扎隆:
计算逻辑中的反射原理。 743-786
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/SpalazziT00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/SpalazziT00（网址：https://dblp.org/rec/journals/log/SpalazziT00）
卢卡·斯帕拉齐,保罗·特拉弗索:
用于行动、感知和规划的动态逻辑。 787-821
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Belohlavek00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Belohlavek00
拉迪姆·贝洛哈维克:
概念格中的相似关系。 823-845
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Finger00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Finger00
马塞洛·芬格:
时态数据库的逻辑重建。 847-876
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Chetcuti-SperandioC00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Chetcuti-SperandioC00
Nathalie Chetcuti-Sperandio公司,路易斯·法利尼亚斯·德尔·塞罗:
持续时间演算的混合决策方法。 877-895

服务

管理网站设置

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