默认搜索操作

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

问别人

《圣母院形式逻辑杂志》第57卷

>主页 >期刊销售 >圣母院形式逻辑杂志

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2016年第57卷第1期

文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Corduan16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/CorduanG16
贾里德·科尔杜,玛西娅·J·格罗泽克:
反数学与偏序的Ramsey性质。 1-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Jura16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Jura16
马修·朱拉:
逆向数学与图的着色数。 27-44
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/FokinaFK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/FokinaFK16
叶卡捷琳娜·福基纳,安德烈·N·弗洛洛夫,伊斯坎德尔什卡利穆林:
刚性结构的分类谱。 45-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Goddard 16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Goddard16
克里斯蒂娜·戈达德:
改进构造高Scott秩模型的边界结果。 59-71
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Stephenson 16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Stephenson16
乔纳森·斯蒂芬森:
控制Δ的有效包装尺寸⁰₂度。 73-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Humberstone16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Humberstone16
劳埃德·亨伯斯通:
关于扩展同余模态逻辑的注记。 95-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Tennant16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Tennant16
尼尔·坦南特:
核心逻辑的规则无冗余和序贯演算。 105-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/NurkhaidarovS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/NurkhaidarovS16
Ermek S.Nurkhaidarov公司,Erez Shochat公司:
Peano算法饱和模型的自同构群的闭正规子群。 127-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/AlizadehAR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/AlizadehAR16
马吉德·阿里扎德,穆罕默德·阿尔德斯希尔,维姆·鲁登堡:
维瑟代数中的布尔代数。 141-150

2016年第2期第57卷

文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Wintein16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Wintein16
斯特凡·温斯坦:
从闭幕游戏到强大的克莱恩真理。 153-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Dimitracopoulos16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Dimitracopoulos16
科斯塔斯·迪米特拉科普洛斯,Vasileios S.Paschalis公司:
弱算术理论模型的端点扩展。 181-193
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Pelupessy16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Pelupessy16
弗洛里安·佩卢佩西:
三个类拉姆齐定理的相变结果。 195-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Alexander16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Alexander16
萨缪尔·亚力山大:
猜测、思维改变和第二类歧义。 209-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/HonzikV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/HonzikV16
拉德克·洪齐克（Radek Honzik）,乔纳森·维纳:
广义Grigorieff强迫的提升论证。 221-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Iemhoff 16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Iemhoff16
罗莎莉·伊姆霍夫:
及物反身模态逻辑中统一的句法方法。 233-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Golinska-Pilarek16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Golinska-Piraek16
乔安娜·戈林斯卡·皮拉雷克,塔内利·胡斯科宁:
带量词的非正则命题逻辑。 249-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Espindola16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Espindola16
克里斯蒂安·埃斯皮恩多拉:
建构性逆向数学中一阶理论的语义完整性。 281-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Zardini16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Zardini16
埃利亚·扎尔迪尼:
不符合项限制。 287-327

2016年第3期第57卷

文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Simpson 16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Simpson16
斯蒂芬·辛普森:
算术中的隐式定义。 329-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/HarjesN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/HarjesN16
克里斯汀·哈杰斯,帕维尔·诺莫夫:
战略博弈中的功能依赖。 341-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/JakobsenS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/JakobsenS16
苏内·克里斯蒂安·雅各布森,雅各布·格鲁·西蒙森:
关于一阶谱诱导实数的几点注记。 355-368
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/HofweberS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/HofweberS16
托马斯·霍夫韦伯,拉尔夫·辛德勒:
超实值概率度量近似实值度量。 369-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/HerrlichHT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/HerrlichHT16
霍斯特·赫利奇,保罗·霍华德,Eleftherios Tachtsis公司:
有限等级和小违规选择。 375-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/安德森16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/AndersonC16
伯纳德·安德森,芭芭拉·卡西玛:
非分类度。 389-398
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/EivazlooT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/EivazlooT16
贾法尔·埃瓦兹洛,索马耶赫·塔里:
弱O-极小结构中的SCE-细胞分解和OCP。 399-410
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/铃木16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Suzuki16
铃木富代:
双逼近语义的分布性。 411-430
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/HamkinsL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/HamkinsL16
乔尔·戴维·哈姆金斯,科尔·莱希:
集合论中的代数性和隐含可定义性。 431-439

2016年第4期第57卷

文章

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Iemhoff M16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/IemhoffM16
罗莎莉·伊姆霍夫,乔治·梅特卡夫:
关于可接受规则和统一的特别问题。 441-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/ndjfl/BaderNBM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/BaderNBM16
弗兰兹·巴德,Thanh Binh Nguyen先生,斯特凡·博格沃德,芭芭拉·莫劳斯卡:
无顶层构造函数的描述逻辑EL中一致性的判定和局部一致性的计算。 443-476
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/ndjfl/Cabrer16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Cabrer16
莱昂纳多·卡布雷:
伪补分配格子簇的统一。 477-502
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Citkin16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Citkin16
亚历克斯·西特金:
普鲁克纳尔代换的代数逻辑透视。 503-521
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/DzikW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/DzikW16
Wojciech Dzik公司,彼得·沃伊泰拉克:
扩展S4.3的模态结果关系：射影统一的应用。 523-549
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/KowalskiH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/KowalskiH16
托马斯·科瓦尔斯基,劳埃德·亨伯斯通:
BCI和变体的阿贝尔规则。 551-568
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ndjfl/Raftery16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ndjfl/Raftery16
詹姆斯·拉弗瑞:
可接受规则和莱布尼茨层次结构。 569-606

管理网站设置

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