停止战争！

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

对于科学家：

默认搜索操作

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

问别人

逻辑与计算杂志，第30卷

>主页 >日记账 >逻辑与计算杂志

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第30卷第1期，2020年1月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ArtemovN20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ArtemovN20
谢尔盖·N·阿特莫夫,阿尼尔·内罗德:
计算机科学逻辑基础专刊。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Achilleos20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Achilleos20
安东尼斯·阿奇利奥斯:
具有硬无金刚石碎片的模态逻辑。 3-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/AckermanFL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AckermanFL20网址
纳撒尼尔·L·阿克曼,卡梅隆·E·弗里尔,罗伯特·卢巴斯基:
反馈图灵可计算性简介。 27-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Artemov20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Artemov20
谢尔盖·N·阿特莫夫:
关于聚合概率证据。 61-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CamposF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/CamposF20
马可·德文萨斯·坎波斯,马塞洛·菲奥雷:
孟德尔归纳法的经典逻辑。 77-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CenzerMR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/CenzerMR20
道格拉斯·森泽,维克托·马雷克,杰弗里·伦梅尔:
关于允许函数符号的有限谓词逻辑程序的索引集的复杂性。 107-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/EadesP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/EadesP20
哈雷伊德斯III,瓦莱丽亚·德佩瓦:
多结论线性逻辑：切割消除等。 157-174年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Fijalkow20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Fijalkow20
纳撒纳埃尔·菲亚尔科:
概率语言和素数语言的状态复杂度的下限。 175-192年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/FittingS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/FittingS20
梅尔文配件,菲利佩·萨尔瓦多:
具有恒定域语义的一阶调整逻辑。 193-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ForssellGS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/ForssellGS20
亨利克·福赛尔,哈贡·罗贝斯塔德·吉尔特鲁德,戴维·斯皮瓦克:
键入理论数据库。 217-238
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KanovichKS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KanovichKS20
马克斯·卡诺维奇,斯捷潘·库兹涅佐夫,安德烈·塞德洛夫:
调和Lambek的限制、削减和指数形式下的替代。 239-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KokkinisOS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KokkinisOS20
Ioannis Kokkinis公司,佐兰·奥格尼亚诺维奇,托马斯·斯图德:
概率论证逻辑。 257至280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Krupski20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Krupski20
弗拉基米尔·克鲁普西:
切断直觉主义认知逻辑的消除和复杂性边界。 281-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KurokawaK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KurokawaK20
黑川秀内里,久田博彦:
资源共享线性逻辑。 295-319年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/NomuraOS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/NomuraOS20
野村Shoshin,小野博基拉,胜彦三野:
动态认知逻辑的无割标记序列演算。 321-348
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Petrakis20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Petrakis20
Iosif Petrakis公司:
主教空间的嵌入。 349-379
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Protopopescu20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Protopopescu20
都铎-普罗托波佩斯库:
直觉验证的算术解释。 381-402
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RamanujamT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RamanujamT20
拉马努贾姆（R.Ramanujam）,拉马纳森S.Thinniyam:
图序的一阶理论中的可定义性⋆。 403-420
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RamanujamSS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RamanujamSS20
拉马努贾姆（R.Ramanujam）,瓦什纳维·桑达拉扬,S.P.苏雷什:
直觉逻辑中析取的复杂性。 421-445
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Rathjen20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Rathjen20
迈克尔·拉什扬:
幂Kripke-Platek集理论和选择公理。 447-457
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Sanders20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Sanders20
萨姆·桑德斯:
非标准分析的不合理有效性。 459-524

第30卷第2期，2020年3月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Gabbay20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Gabbay20
默多克-加贝:
等变ZFA和标称技术的基础。 525-548
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RybakovS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS20
米哈伊尔·里巴科夫,德米特里·什卡托夫:
谓词模态逻辑中的递归可枚举性和基本框架可定义性。 549-560
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/VidalC20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/VidalC20
胡安·克莱门特·维达尔,恩里克·科斯梅·洛佩斯:
自由多分类代数可识别性定理的基于同余的证明。 561-633
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RodriguesSLBO20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/RodriguesSLBO20
爱迪生·罗德里格斯,保罗·桑托斯,洛佩斯,布兰登·贝内特,保罗·奥本海默:
空间介词多义的立场语义。 635-661
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Shillito20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Shillito20
伊恩·希利托:
拓扑逻辑的多标记序列演算。 663-696

第30卷第3期，2020年4月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HetzlZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/HetzlZ20
斯特凡·赫兹尔,塞巴斯蒂安·齐沃塔:
仿射解问题的可判定性。 697-714
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Li20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Li20
李大竹:
断开连接：可定义链接删除的模式逻辑。 715-743
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Hsiung20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Hsiung20
明雄:
基本细胞自动机和自我参照悖论。 745-763
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AndrewsSS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/AndrewsSS20
乌里·安德鲁斯,诺亚·施韦伯,安德烈亚·索比:
Self-full-ceers和统一联接运算符。 765-783
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Egrot20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Egrot20
罗伯·埃格罗:
秩序极性。 785-833

第30卷第4期，2020年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/InclezanM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/IncluezanM20
丹妮拉·因勒赞,马可·马拉特:
第七届ASPOCP“答案集编程和其他计算范式”国际研讨会。 835-836
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/AbseherBCDW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AbseherBCDW20
迈克尔·阿贝赫,伯恩哈德·布利姆,Günther Charwat公司,弗雷德里科·杜斯伯格,斯特凡·沃尔特兰:
使用答案集编程计算图中的安全集。 837-862
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/AlvianoD0R20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AlvianoD0R20
马里奥·阿尔维亚诺,卡米娜·多达罗,乔安·马奎斯·西尔瓦,弗朗西斯科·里卡:
最优稳定模型搜索：算法和实现。 863-897
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BabbL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BabbL20
约瑟夫·巴伯,李佐雄:
动作语言“+”。 899-922年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GebserJR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/GebserJR20
马丁·格布瑟,托米·詹胡宁,尤西·林塔南:
非循环属性的声明性编码。 923-952
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KahlWBG020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KahlWBG020
帕特里克·卡尔,理查德·沃森,叶甫盖尼·巴莱,迈克尔·盖尔丰德,张元林:
认知规范的语言（精炼），包括原型求解器。 953-989

第30卷，第5期，2020年7月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ChajdaFL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ChajdaFL20
伊万·查伊达,大卫·法齐奥,安东尼奥·莱达:
广义正交模块性质：构型和粘贴。 1991年10月22日
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Troquard20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Troquard20
尼古拉斯·特罗夸德:
个人资源游戏和资源再分配。 1023-1062
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/DvorakRW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/DvorakRW20
沃尔夫冈·德沃拉克,安娜·拉贝格,斯特凡·沃尔特兰:
抽象论证中不同类型的集体攻击：SETAF的等价结果。 1063-1107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Ciuciura20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Ciuciura20
Janusz Ciuciura公司:
Sette演算P1和一些次协调系统的层次结构。 1109-1124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/AravanisPW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/AravanisPW20
提奥法尼斯·阿拉瓦尼斯,帕夫洛斯·佩帕斯,玛丽·安妮·威廉姆斯:
关联敏感信念修正的可能世界语义研究。 1125-1142

第30卷第6期，2020年9月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Freund20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Freund20
迈克尔·弗伦德:
概念表示的有序模型。 1143-1181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GorankoKR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/GorankoKR20
瓦伦丁·戈兰科,安蒂·库西斯托,雷恩·Rönnholm:
理性的协调，没有沟通或约定。 1183-1211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/0004R20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/0004R20
多米尼克·克莱因,拉斯穆斯·伦茨维格:
动态认知逻辑中的收敛性、连续性、递归性和图灵完备性1。 1213-1238
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Carl20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Carl20
梅林·卡尔:
无限时间图灵机的空间和时间复杂性。 1239-1255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ConiglioOG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/ConiglioOG20
马塞洛·科尼格里奥,阿尔多·菲加洛·奥雷利亚诺,安娜·克劳迪娅·戈尔齐奥:
一些形式不一致逻辑的一阶交换结构语义。 1257-1290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Niki020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Niki020
萨托鲁·尼基,彼特·舒斯特:
关于多值逻辑的Scott语义。 1291-1302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Aucher20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Aucher20
纪尧姆拍卖行:
更正：以逻辑方式显示更新。 1303

第30卷第7期，2020年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RybakovS20a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS20a
米哈伊尔·里巴科夫,德米特里·什卡托夫:
受限语言中有限Kripke框架的一阶模态逻辑的算法性质。 1305-1329
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BezhanishviliH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BezhanishviliH20
尼克·贝扎尼什维利,蒂姆·亨克:
描述一般框架的模型理论方法：van Benthem特征定理。 1331-1355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Aravanis20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Aravanis20
提奥法尼斯·阿拉瓦尼斯:
论统一信念的修正。 1357-1376
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/GainaK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/GainaK20
丹尼尔·盖纳,托马斯·科瓦尔斯基:
机构中的弗雷塞-欣提卡定理。 1377-1399
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ChajdaL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/ChajdaL20
伊万·查伊达,赫尔穆特·朗格:
正交模偏序集的子格和Δ-块。 1401-1423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Chernov20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Chernov20
维克托·切尔诺夫:
局部常数构造函数与区间的连通性。 1425-1428

第30卷第8期，2020年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BrunnlerFS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BrunnlerFS20
凯·布伦勒,Dandolo Flumini公司,托马斯·斯图德:
区块链更新的逻辑。 1469-1485
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/NormannS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/NormannS20
达格·诺曼,萨姆·桑德斯:
可计算性理论和逆向数学中的开集。 1639-1679
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Ralph20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Ralph20网址
本杰明·拉尔夫:
赫布兰德证明和扩展证明作为分解证明。 1711-1742
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/DienerL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/DienerL20
汉内斯·迪纳,罗伯特·卢巴斯基:
粗度和亚稳态的概念。 1487-1504
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/LiuS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/LiuS20
杨红A.刘,斯科特·斯托勒:
建立了逻辑规则的语义和约束语义。 1609-1668
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HannulaKV20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/HannulaKV20
米卡·汉努拉,朱哈·孔廷宁,乔尼·维特马:
Polyteam语义。 1541-1566
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BaazLL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BaazLL20
马蒂亚斯·巴兹,亚历山大·莱奇,阿内拉·洛里奇:
第一个ε定理的抽象形式。 1447-1468
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Artemov20a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/Artemov20a
谢尔盖·N·阿特莫夫:
合理化意识。 1431-1446
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KasterovicG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KasterovicG20
西蒙娜·卡斯特罗维奇,西尔维娅·吉勒赞:
完全简单类型Lambda演算的Kripke式语义和完备性。 1567-1608
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/PakhomovZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/PakhomovZ20
费多·帕霍莫夫,亚历山大·扎普里亚加耶夫:
普雷斯伯格算法本身的多维解释。 1681-1693
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Peluce20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/Peluce20
V.亚历克西斯·佩卢斯:
算术语境中的认识谓词。 1695-1709
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Ferguson20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Ferguson20
托马斯·麦考利·弗格森:
对可构造错误和Heyting-Brouwer逻辑的证明/反驳交互作用进行明确分析。 1505-1540
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/ArtemovN20a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/ArtemovN20a
谢尔盖·N·阿特莫夫,阿尼尔·内罗德:
编辑。 1429

服务

管理网站设置

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