停止战争！

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

对于科学家：

默认搜索操作

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

问别人

逻辑与计算杂志，第5卷

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第5卷第1期，1995年2月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RoundsZ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RoundsZ95
威廉·C·罗兹,张国强:
领域理论符合默认逻辑。 1-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/SpruitWM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/SpruitWM95
保罗·斯普鲁特,罗埃尔·J·威林加,约翰·朱尔斯·查·梅耶:
逻辑数据库中被动更新和主动更新的方位角化、声明语义和操作语义。 27-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MakowskyS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/MakowskyS95
约翰·马科斯基,亚伯拉罕·谢雷尔:
对称分布SAT的平均情况复杂度。 71-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Kracht95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Kracht95
马库斯·克拉希特:
通往危险区的公路。 93-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KaluzhnyL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/KaluzhnyL95
尤里·卡鲁奇尼,丹尼尔·莱曼:
演绎非单调推理操作：反调表征。 111-122

第5卷第2期，1995年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GabbrielliDL95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/GabbrielliDL95
毛里齐奥·加布里埃利,乔瓦娜·多尔,乔治·列维:
约束逻辑程序的可观察语义。 133-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Bonati95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Bonatti95
皮耶罗·A·博纳蒂:
Provability的三值形式化。 173-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/TiomkinK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/TiomkinK95
迈克尔·L·蒂姆金,迈克尔·卡明斯基:
动作逻辑的语义分析。 203-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Dawar95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Dawar95
阿努杰·达瓦尔:
广义量词和逻辑约简。 213-226
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Dori95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Dori95
多夫·多里:
对象-过程分析：维护系统结构和行为之间的平衡。 227-249

第5卷第3期，1995年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/SakamaI95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/SakamaI95
恰基·萨卡马,井上胜美:
扩展析取程序的次一致稳定语义。 265-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ChagrovZ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ChagrovZ95
亚历山大·查格罗夫,迈克尔·扎克哈里亚舍夫:
论模态逻辑和中间逻辑的独立公理化。 287-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AnalytiP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/AnalytiP95
Anastasia Analyti分析,萨基·普拉曼尼克:
具有规则优先级的扩展逻辑程序的可靠语义。 303-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HoekR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/HoekR95
威比·范德霍克,马尔滕·德·里杰克:
计数对象。 325-345
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Pais95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Pais95
约翰·派斯:
外部拓扑和修订空间。 347-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MargariaZ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/MargariaZ95
伊内斯·玛格丽亚,马达莱娜·扎基:
校长在论坛和学科中打字。 367-381

第5卷第4期，1995年8月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Jensen95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Jensen95
托马斯·詹森:
连接型系统与高阶函数程序的抽象解释。 397-421
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Henson95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Henson95
马丁·汉森:
基本程序转换的内涵语义。 423-447
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Tammet95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Tammet95
塔内尔·塔米特:
确定性答案解析的完整性。 449-471
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Schlechta95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Schlechta95
卡尔·施莱赫塔:
默认为广义量词。 473-494
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Sands95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Sands95
大卫·桑德斯:
天真的时间分析及其成本等效理论。 495-541

第5卷第5期，1995年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/DeneckerS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/DeneckerS95
马克·德内克,丹尼·德·施雷耶:
诱导逻辑程序设计中不完全知识的表示。 553-577
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MissiaenBD95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/MissiaenBD95
密西西比州洛德,莫里斯·布吕诺格,马克·德纳克:
CHICA，一个基于事件演算的诱因规划系统。 579-602
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/SernadasSC95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/SernadasSC95
Amílcar Sernadas公司,克里斯蒂娜·塞尔纳达斯,何塞·费利克斯·科斯塔:
对象规范逻辑。 603-630
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BouhoulaKR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BouhoulaKR95
阿德尔·布胡拉,伊曼纽尔·库纳利斯,米夏·鲁西诺维奇:
自动数学归纳法。 631-668
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Sasaki95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Sasaki95
詹姆斯·佐佐木:
具有混合构造性的类型理论中的有效验证程序。 669-689

第5卷第6期，1995年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/PoseggaS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/PoseggaS95
约阿希姆·波塞加,彼得·施密特:
Shannon图的自动推导。 697-729
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/WilkinsM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/WilkinsM95
大卫·E·威尔金斯,凯伦·迈尔斯:
计划生成和被动执行的通用知识表示。 731-761
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Goodwin95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Goodwin95
古德温:
药剂性质的形式化。 763-781
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Schlechta95a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Schlechta95a
卡尔·施莱赫塔:
分支时间结构的优先选择表示定理。 783-800

服务

管理网站设置

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