默认搜索操作

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

问别人

逻辑与计算杂志，第12卷

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

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第12卷第1期，2002年2月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GurevichR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/GurevichR02
尤里·古雷维奇,亚历山大·莫西·拉宾诺维奇:
背景中真实秩序的理性定义。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AndrekaRS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/AndrekaRS02
哈尼尔·安德雷卡,马克·瑞恩,皮埃尔·伊夫·肖本斯:
组合偏好关系的算子和法则。 13-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/PanzarasaJN02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/PanzarasaJN02
彼得罗·潘扎拉萨,尼古拉斯·R·詹宁斯,蒂莫西·诺曼:
多智能体系统中的协作决策和实用推理的形式化。 55-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/DragoniGS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/DragoniGS02
阿尔多·弗兰科·德拉戈尼,保罗·乔治尼,卢西亚诺·塞拉菲尼:
沟通中的精神状态识别。 119-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Bolohlavek02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Belohlavek02
拉迪姆·贝洛哈维克:
概念格中的逻辑精度。 137-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Pauly02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Pauly02
马克·保利:
游戏中联合力量的模态逻辑。 149-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CriscuoloGS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/CriscuoloGS02
乔瓦尼·克里斯库洛,福斯托·金奇利亚,卢西亚诺·塞拉菲尼:
元推理的基础第一部分：证明理论。 167-208

第12卷第2期，2002年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Guessarian02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Guessarian02网址
伊雷恩·盖萨里安:
编辑。 215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Adamek02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Adamek02
杰里·阿达梅克:
最终余代数是初始代数的理想完备。 217-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BauquierR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/BeauquierR02
丹尼尔·博基尔,亚历山大·莫西·拉宾诺维奇:
自然秩序的一元逻辑没有有限基础。 243-253
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/DamG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/DamG02
Mads大坝,迪利安·古罗夫:
µ-具有显式点和近似的微积分。 255-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Esik02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Esik02
佐尔坦·埃西克:
连续可加代数与同步树的内射模拟。 271-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CorradiniNL02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/CorradiniNL02
弗拉维奥·科拉迪尼,洛科·德·尼古拉,安娜·拉布拉:
正则表达式上互模拟的等式公理化。 301-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Jaume02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Jaume02
马修·尧姆:
逻辑程序设计的最大不动点语义。 321-342

第12卷第3期，2002年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CriscuoloGS02a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/CriscuoloGS02a
乔瓦尼·克里斯库洛,福斯托·金奇利亚,卢西亚诺·塞拉菲尼:
元推理的基础第二部分：模型理论。 345-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Wobcke02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Wobcke02
韦恩·沃布克:
计划识别的两个逻辑理论。 371-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/SabaterSPJ02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/SabaterSPJ02
乔迪·萨巴特,卡尔斯·塞拉,西蒙·帕森斯,尼古拉斯·R·詹宁斯:
使用多控制系统设计可执行代理。 413-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RasgaSSV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/RasgaSSV02
乔·拉斯加,Amílcar Sernadas公司,克里斯蒂娜·塞尔纳达斯,卢卡·维甘:
纤维标签扣除系统。 443-473
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/WilkinsL02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/WilkinsL02
埃尔伍德·威尔金斯,西蒙·拉文顿:
信念功能与可能世界范式。 475-495
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HillS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/HillS02
帕特里夏·M·希尔,福斯托·斯波托:
将定义和位置概括为类型分析。 497-542
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Overill02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Overill02
理查德·E·奥维尔:
密码和密码：尤利乌斯·凯撒、谜机和互联网。 543
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Overill02a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Overill02a
理查德·E·奥维尔:
密码学基础：基本工具。 543-544

第12卷第4期，2002年8月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BalserDRS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BalserDRS02
迈克尔·巴尔塞,克里斯托夫·杜埃利,沃尔夫冈·雷夫,格哈德·谢尔霍恩:
使用符号执行验证并发系统。 549-560
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BolotovFD02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/BolotovFD02
亚历山大·博洛托夫,迈克尔·菲希尔,克莱尔·迪克森:
论[ohgr]-自动机与时序逻辑范式的关系。 561-581
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Heinemann02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Heinemann02
伯恩哈德·海尼曼:
递增集的线性时态逻辑。 583-606
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/JansenW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/JansenW02
大卫·N·詹森,罗埃尔·J·威林加:
通过操作和实时扩展CTL。 607-621
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/LangeS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/LangeS02
马丁·兰格,科林·斯特林:
分支时间逻辑的模型检查游戏。 623-639
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MontanariPP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/MontanariPP02
安吉洛·蒙塔纳里,阿德里亚诺·佩隆,阿尔贝托·波利克里蒂:
将坎普定理推广到模型时间粒度。 641-677
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Reynolds02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Reynolds02
马克·雷诺兹:
分支时间公理。 679-697

第12卷第5期，2002年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KestenP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KestenP02
尤尼特·凯斯滕,阿米尔·普努利:
完整的QPTL证明系统。 701-745
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Elbl02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Elbl02
比吉特·埃尔布尔:
逻辑程序设计中的惰性列表理解。 747-771
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KoniecznyP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/KoniecznyP02
塞巴斯蒂安·科尼奇尼,拉蒙·皮诺·佩雷斯:
约束下的信息合并：逻辑框架。 773-808
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/SturmW02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/SturmW02
霍尔格·斯特姆,弗兰克·沃尔特:
时间描述逻辑的Tableau演算：扩展域案例。 809-838
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/EstrinK02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/EstrinK02
阿卡迪·埃斯特林,迈克尔·卡明斯基:
动作的时间逻辑的表达能力。 839-859
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/DemriG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/DemriG02
斯特凡·德姆里,拉杰夫·戈尔:
模态Provability逻辑中特征化切割消除的保定理映射。 861-884
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BalbianiCC02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BalbianiCC02
菲利普·巴尔比亚尼,Jean-François Condotta女士,路易斯·法利尼亚斯·德尔·塞罗:
块代数中的可牵引性结果。 885-909

第12卷第6期，2002年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Kamide02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Kamide02
Norihiro Kamide公司:
具有混合和强否定的子结构逻辑的关联原则。 913-928
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Schmidt-Schauss02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Schmidt-Schauss02
曼弗雷德·施密特·沙乌:
一种用于分层上下文统一的决策算法。 929-953
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Fiorino02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Fiorino02
吉多·菲奥里诺:
三个可插值命题中间逻辑的空间效率决策过程。 955-992
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/DemriG02a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/DemriG02a
斯特凡·德姆里,拉杰夫·戈尔:
标称时态逻辑的显示演算。 993-1016
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/logcom/Fitting02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Fitting02网站
梅尔文配件:
命题与一阶模态逻辑。 1017-1026
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ArtosiGR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/ArtosiGR02
阿尔贝托·阿托西,圭多总督府,安东尼诺·罗托洛:
非单调推理的标签表：累积结果关系。 1027-1060
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/IshtiaqP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/IshtiaqP02
萨明·伊斯蒂亚克,大卫·J·派姆:
依赖型聚束λ-演算的Kripke资源模型。 1061-1104

管理网站设置

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