默认搜索操作

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

问别人

计算机科学中的逻辑方法，第12卷

>主页 >期刊销售 >计算机科学中的逻辑方法

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2016年第1期第12卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/DeboisHSY15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/DeboisHSY15
瑟伦·德布瓦,托马斯·希尔德布兰特,蒂杰斯·斯拉茨,吉田信子:
具有有界和无界递归的协作过程的类型检查活性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/HeijltjesH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HeijltjesH15
威廉·海杰斯,罗宾·休斯顿:
MLL中的证明等价性是PSPACE完成的。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Kerjean14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kerjean14
玛丽·柯让:
线性逻辑的弱拓扑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/Accattoli 16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AccattoliL16
贝尼亚米·阿卡托利,乌戈·达尔·拉戈:
（最左边-最外面）贝塔系数减少是不变的，确实如此。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记帐/corr/PlaceZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PlaceZ14
托马斯广场,马克·泽顿:
将正则语言与一阶逻辑分离。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/HofmanLMT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HofmanLMT16
彼得罗·霍夫曼,斯拉沃米尔·拉索塔,理查·马,帕特里克·托茨克:
单计数器网络上的模拟问题。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1209-0680
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-0680
拉杜·格里戈尔,尼科斯·齐夫列科斯:
历史注册自动化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BorgstromGPVP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BorgstromGPVP15
约翰内斯·博格斯特罗姆,拉蒙娜斯·古特科瓦斯,约阿希姆·帕罗,比约恩·维克多,约翰内斯·奥曼·波霍拉:
应用过程演算的分类语义框架。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/BarceloL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BarceloL16
巴勃罗·巴塞洛,列奥尼德·利布金:
序变量类型及其应用。

2016年第12卷第2期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BienvenuDS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/BienvenuDS15
劳伦特·宾文努（Laurent Bienvenu）,达米安·德斯方丹（Damien Desfontaines）,亚历山大·沈:
重新讨论了停止问题和最优机器的通用算法。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/CaseR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CaseR16
约翰·凯斯,迈克尔·拉斯顿:
未优化的不可验证程序和许多结果子项。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/JacquemardSD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JacquemardSD16
弗洛伦特·雅克马尔,吕克·塞古芬,杰雷米·迪米诺:
数据树、数据树自动机和分支向量加法系统上的FO2（<，+1，~）。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Breuvart16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Breuvart16
弗拉维恩·布鲁瓦特:
关于H*模型的表征：语义方面。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-0903-5392
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0903-5392
保拉·布鲁斯科利,阿莱西奥·古列尔米,汤姆·冈德森,米歇尔·帕里格特:
通过原子流和阈值公式进行深度推断的准多项式归一化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BernardyJ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BernardyJ16
珍妮·菲利佩·伯纳迪,帕特里克·詹森:
认证的上下文无关解析：在Agda中对Valiant算法进行形式化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CanoCDMS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CanoCDMS16
纪尧姆·卡诺,西里尔·科恩,马克西姆·邓内斯,安德斯·莫特伯格,文森特·塞尔斯:
Coq中初等除环上的形式化线性代数。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Charatonik016a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Charatonik016a
维托尔德·查拉托尼克,彼得·维特科夫斯基:
带计数和线性顺序的二元逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Minamide16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Minamide16
Yasuhiko Minamide公司:
具有索引权重域的加权下推系统。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BernardiH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BernardiH13
乔瓦尼·贝尔纳迪,马修·轩尼诗:
使用高阶契约建模会话类型。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/ParrowW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ParrowW16
约阿希姆·帕罗,贾克·韦伯:
最大的尊重功能。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Garcia-PerezN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Garcia-PerezN16
阿尔瓦罗·加西亚·佩雷斯,巴勃罗·诺盖拉:
没有留下可解的lambda值项。

2016年第3期第12卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/DemriFP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Demri第16页
斯特凡·德姆里,迭戈·菲奎拉,M.Praveen先生:
使用计数器系统进行数据重复推理。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/EadesSM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/EadesSM16
哈雷伊德斯III,亚伦·斯塔姆,瑞恩·麦克莱里:
二元简单类型理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/MurawskiT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MurawskiT16
安德烈·穆拉夫斯基,尼科斯·齐夫列科斯:
块状结构与范围挤压：介于天真与无所不知之间。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/KleinZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KleinZ14
费利克斯·克莱恩,马丁·齐默尔曼:
赢得无限游戏需要多大的前瞻性？
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Bankovic16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Bankovic16
米兰班科维奇:
在存在的情况下求解有限域线性约束都不一样.
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Mamouras 16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Mamouras16
康斯坦蒂诺斯·马穆拉斯:
使用天使和恶魔非决定论的霍尔逻辑综合策略。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/CloustonBGB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CloustonBGB16
拉纳德·克鲁斯顿,亚历斯·比兹亚克,汉斯·布格·格雷斯沃尔,拉尔斯·比克达尔:
Guarded Lambda-Calculus:针对共导类型的Guarded-Recursion编程和推理。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Japaridze15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Japaridze15
乔治·贾帕里泽:
建立你自己的清晰的I。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Shulman 15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Shulman15
迈克尔·舒尔曼:
内涵类型理论中的幂等元。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BridgesDM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BridgesDM16
道格拉斯S.布里奇斯,詹姆斯·登特,马尔滕·麦库布雷·乔登斯:
结构分析中的Z稳定性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/JongmansA16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JongmansA16
Sung-Shik T.Q.Jongmans公司,法哈德·阿巴布:
约束自动机的数据优化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Japaridze15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Japaridze15a
乔治·贾帕里泽:
建立你自己的第二乐章。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Aschieri16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Aschieri16
费德里科·阿舍里:
论Herbrand构造逻辑的自然演绎I：Dummett逻辑LC的Curry-Howard对应关系。

2016年第4期第12卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/BaderBM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BaaderBM16
弗兰兹·巴德,斯特凡·博格沃德,芭芭拉·莫劳斯卡:
将EL中的统一扩展到不统一：以解散和局部不统一为例。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CianciaLLM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CianciaLLM16
文森佐·西安西亚,迭戈·拉特拉,米歇尔·洛雷蒂,梅克·马西克:
模型检查闭合空间的空间逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Skordev16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Skordev16
迪米特·斯科德夫:
关于函数性质从局部存在到全局存在的一些定理。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Kihara16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kihara16
高崎木原:
均匀化问题的Borel-分段连续可约性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/VigoNN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/VigoNN16
罗伯托·维戈,弗莱明·尼尔森,汉内·里斯·尼尔森:
发现、量化和显示攻击。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BasileDF16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BasileDF16
大卫·巴兹勒,皮耶保罗·德加诺,吉安·路易吉·费拉里:
用于指定和协调服务合同的自动化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1211-2609
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1211-2609
马西莫·巴托莱蒂,阿尔切斯特·斯卡拉斯,埃米利奥·托斯托,罗伯托·祖尼诺:
打字诚实。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/HarwathS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HarwathS16
弗雷德里克·哈瓦特,妮可·施韦卡特:
关于带模计数量词的arb-invariant一阶公式的局部性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/DasS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DasS16
阿努帕姆·达斯,Lutz Stra汉堡:
布尔逻辑线性重写系统及其在证明理论中的应用。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/KlinR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KlinR16
巴托克·克林,侏罗纪腐朽:
Coalgebraic通过健忘逻辑跟踪语义。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/SchubertUZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SchubertUZ16
阿列克西·舒伯特,巴维尔·乌尔兹琴,康拉德·兹达诺夫斯基:
关于一阶直觉逻辑中的Mints层次。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/GeblerLT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GeblerLT16
丹尼尔·格布勒,金·拉森,西蒙·蒂尼:
基于概率过程演算的组合互模拟度量推理。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BlanchetteB0S16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BlanchetteB0S16
贾斯敏·克里斯蒂安·布兰切特,萨沙·伯姆,安德烈·波佩斯库,尼古拉斯·斯莫尔博内:
编码单态和多态类型。

管理网站设置

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