默认搜索操作

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

问别人

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

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2015年第11卷第1期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/NakataU14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/NakataU14
中田惠子,塔尔莫·乌斯塔卢:
While基于共导性跟踪的大步语义的Hoare逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/AmighiHHH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AmighiHHH14
阿夫申·阿米吉,克里斯汀·哈克,玛丽克·赫斯曼,Clément Hurlin公司:
多线程Java程序的基于许可的分离逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/AltenkirchCU14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AltenkirchCU14
托尔斯滕·阿滕柯奇,詹姆斯·查普曼,塔尔莫·乌斯塔卢:
单子不一定是内函子。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/Das15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Das15
阿努帕姆·达斯:
关于通过原子流进行深度推理的相对证明复杂性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BergerT14a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BergerT14a
马丁·伯杰,劳伦斯·特拉特:
同构生成运行时元程序设计的程序逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BergerLFS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BergerLFS15
乌尔里希·伯杰,安德鲁·劳伦斯,弗雷德里克·诺德瓦尔·福斯伯格,莫妮卡·塞森伯格:
提取经验证的决策程序：DPLL和Resolution。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Schmidt-Schauss15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Schmidt-Schauss15
曼弗雷德·施密特·沙乌,大卫·萨贝尔,埃琳娜·马卡索娃:
使用Letrec、Case、Constructors和Seq在Call-by-Need Lambda-Calculus中进行模拟。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Normann15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Normann15
达格·诺曼:
连续泛函的可拓实现模型和三个弱非构造的经典定理。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Kopczynski15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kopczynski15
埃里克·科普钦斯基:
交换文法问题的复杂性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/DosenP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/DosenP15
科斯塔·多森,佐兰·佩特里克:
虚弱的猫鼬。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Kenny15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kenny15
罗伯特·肯尼:
可计算度量空间的有效零维性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Bauer14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Bauer14
马修·鲍尔:
命题循环演算的计算复杂性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GhaniMF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GhaniMF15
尼尔·加尼,洛伦佐·马拉特斯塔,弗雷德里克·诺德瓦尔·福斯伯格:
正归纳递归定义。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BonchiZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BonchiZ15
菲利波·邦奇,法比奥·扎纳西:
逻辑编程的双代数语义。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1305-5055
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1305-5055
拉尔夫·威默,尼尔斯·詹森,安德烈亚斯·沃帕尔,埃里卡·阿布拉哈姆,Joost-Pieter Katoen公司,伯恩德·贝克尔:
概率自动机的高级反例。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/LeikeH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/LeikeH15
简·雷克,马蒂亚斯·海兹曼:
线性循环的排名模板。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/TsuikiT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/TsuikiT14
Hideki Tsuiki先生,铃木靖国:
并矢子基诱导的域表示。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CeroneHM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CeroneHM14
安德烈亚·塞隆,马修·轩尼诗,马西莫·梅罗:
无线系统中MAC层通信的建模。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1204-5194
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1204-5194
雅库布·加亚尔斯克,彼得·赫莱宁（Petr Hlinen）:
对固定高度树的MSO属性进行核化及其结果。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ChakrabortyHSV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChakrabortyHSV15
Soham Chakraborty公司,托马斯·汉津格,阿里·塞兹金,维克托·瓦菲亚迪斯:
面向方面的线性化能力证明。

2015年第2期第11卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BernardiH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BernardiH15
乔瓦尼·贝尔纳迪,马修·轩尼诗:
相互测试过程。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Jancar KS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JancarKS14
彼得·詹卡尔,Pratek Karandikar公司,菲利普·施诺贝伦:
用常规测试扩展的单向信道系统可达性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BortolussiS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/BortolussiS15
卢卡·博托鲁西,吉多·桑吉内蒂:
从逻辑约束中学习和设计随机过程。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/FacchiniHMS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/FacchiniHMS15
亚历山德罗·法奇尼,平井洋一,马尔滕·马克思,叶夫根尼·谢尔霍诺夫:
条件树模式的包含。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/FurberJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/FurberJ15
罗伯特·W·J·福伯,雅各布施:
从Kleisli范畴到交换C*-代数：概率Gelfand对偶。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Clairambault15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Clairambault15
皮埃尔·克莱兰堡:
边界线性头部减少和通过骨骼的可见交互。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/SalvatiW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SalvatiW15
西尔万·萨尔瓦蒂,伊戈尔·瓦卢基维奇:
使用模型对递归方案进行建模检查。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Pich14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Pich14
贾恩·皮奇:
复杂性理论的逻辑强度和有界算法中PCP定理的形式化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BouyerBMU15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BouyerBMU15
帕特里夏·布耶,罗曼·布伦吉尔,尼古拉斯·马基,迈克尔·乌梅尔斯:
并发确定性博弈中的纯纳什均衡。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Selinger13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Selinger13
彼得·塞林格:
n量子比特Clifford算子的生成器和关系。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Marshall MN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MarshallMN15
安德鲁·马歇尔,凯瑟琳·梅多斯,巴利亚特·纳伦德兰:
统一模单面分布性：算法、变量和不对称。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/FijalkowGKO15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FijalkowGKO15
纳塔娜·菲亚尔科夫,雨果·金伯特,伊登·凯尔门迪,尤索夫·乌尔哈德（Youssouf Oualhadj）:
概率严密自动机的值1判定问题。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/DanosHH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DanosHH15
文森特·达诺斯,Russ Harmer公司,里卡多·霍诺拉托·齐梅尔:
热力学图形重写。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Brengos13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Brengos13
托马斯·布伦戈斯:
富序单子上余代数的弱互模拟。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Basic15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Basic15
Bojan基础:
关于半群和n元半群中的吸收。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/DragerFK0U15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DragerFK0U15
克劳斯博士,Vojtech预测,Marta Z.Kwiatkowska公司,大卫·帕克,马特乌什·乌杰马:
概率系统的许可控制器综合。

2015年第3期第11卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-0103
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-0103
乔治·贾帕里泽:
在可计算逻辑的系统CL12上。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BonsangueHKR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BonsangueHKR15
马塞洛·M·邦桑格,海尔·维德·汉森,亚历山大·库兹,侏罗纪腐朽:
提出分配法。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/TutuF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/TutuF15
Ionut Tutu公司,何塞·路易斯·菲亚德罗:
面向服务的逻辑编程。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/LinkerH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/LinkerH15
斯文·林克尔,马丁·希尔舍尔:
多平面空间逻辑的证明理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/PlaceS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PlaceS15
托马斯广场,吕克·塞古芬:
决定树上FO2（<h，<v）中的可定义性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/SchalkS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SchalkS15
安德烈亚·沙尔克,休·P·斯蒂尔:
构造乘法线性逻辑的完全完备模型。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ArisakaDS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ArisakaDS15
柳田有坂,阿努帕姆·达斯,Lutz Stra汉堡:
关于构造模态逻辑的嵌套序列。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/SoudjaniA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SoudjaniA15
萨代赫·埃斯迈尔·扎德赫·苏贾尼（Sadegh Esmaeil Zadeh Soudjani）,亚历山德罗·阿巴特:
用形式抽象法定量逼近马尔可夫过程的概率分布。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ChenMM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChenMM13
胡比·陈,弗洛伦特·马德兰,巴纳比·马丁:
量化约束和遏制问题。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ColcombetLP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ColcombetLP14
托马斯·科尔科姆贝特,克莱门斯·莱伊,加布里埃尔·普皮斯:
逻辑与严格保护的数据测试。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Chatzieleftheriou15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Chatzieleftheriou15
乔治·查齐利弗里奥,Borzoo Bonakdarpour公司,卡氏帕纳吉奥蒂斯,斯科特·斯莫尔卡:
抽象模型修复。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/FinkbeinerT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FinkbeinerT15
伯恩德·芬克贝纳,Leander Tentrup公司:
检测分布式容错系统的不可实现性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/MensM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MensM15
Irini-Eleftheria男性,奥德·马勒:
通过大型有序字母学习正规语言。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1111-0862
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1111-0862
艾曼纽尔·菲利奥特,龙胆拉菲拉,Jean-François Raskin女士:
由函数自动机定义的定量语言。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/RayanaABBC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/RayanaABBC15
苏哈·本·拉亚纳,阿斯特法诺艾湖,萨德克·本萨勒姆,马吕斯·博兹加,雅克·康巴兹:
基于不变量自动生成的时间系统组合验证。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ChongHST15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChongHST15
C.T.Chong先生,高登·海,弗兰克·斯蒂芬,丹尼尔·图雷茨基:
部分功能和支配。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ChenFG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChenFG15
陈陶璐,万·J·福克金,罗布·范·格拉贝克:
关于不可能期货的公理化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BalanKV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BalanKV14
阿德里亚娜·巴兰,亚历山大·库兹,杰里·韦利比尔:
联合逻辑的积极片段。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Vogels0P15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Vogels0P15
Frédéric Vogels餐厅,雅各布施,弗兰克·皮森斯:
Featherweight VeriFast。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/Quaas14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Quaas14
卡林·夸斯:
用离散数据结构扩展的时间自动机的验证。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Keimel15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Keimel15
克劳斯·凯梅尔:
锥的弱上拓扑和对偶性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ZeilbergerG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ZeilbergerG14
诺姆·齐尔伯格,阿兰·乔治蒂:
根平面映射和法平面λ项之间的对应关系。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/corr/CabrerM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CabrerM15
莱昂纳多·曼纽尔·卡布勒,乔治·梅特卡夫:
精确统一和可接受性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1205-3940
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-3940
雅各布施:
范畴逻辑的新方向，适用于经典逻辑、概率逻辑和量子逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Goldberg15b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Goldberg15b
梅耶·戈德堡:
椭圆和Lambda可定义性。

2015年第11卷第4期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/BarceloFL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BarceloFL15
巴勃罗·巴塞洛,加列·丰丹,安东尼·威贾贾·林:
带数据的图形上的表达式路径查询。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Bedon15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Bedon15
尼古拉斯·贝登:
逻辑和分支自动机。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BlanquiJR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BlanquiJR15
弗雷德里克·布兰基,Jean-Pierre Jouannaud女士,阿尔伯特·鲁比奥:
可计算性路径排序。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BozzanoCGT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BozzanoCGT15
马可·波扎诺,亚历山德罗·西马蒂,马可·加里奥,斯特凡诺·托内塔:
使用时间认知逻辑的异步故障检测和识别组件的形式化设计。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/BorealeP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BorealeP15
米歇尔·博雷尔,弗朗西丝卡·潘帕洛尼:
通用泄漏函数和自适应对手下的定量信息流。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1302-0380
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1302-0380
圣埃芬·勒鲁,阿诺·保利:
封闭选择：基数与凸维数。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/MontanariPS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MontanariPS15
安吉洛·蒙塔纳里,加布里埃尔·普皮斯,彼得罗·萨拉:
基于锥形基本方向的指南针逻辑的可判定弱化。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GajarskyHOO14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GajarskyHOO14
雅库布·加亚尔斯克,彼得·赫莱宁（Petr Hlinen）,扬·奥布德扎勒克,塞巴斯蒂安·奥德尼亚克:
基于Poset的快速FO模型检测。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/DominguezF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DominguezF15（网址：https://dblp.org/rec/journals/corr/DominguezF15）
杰苏斯·多明格斯,玛丽贝尔·费尔南德斯:
从名义到高阶重写，然后再返回。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Michel13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Michel13
帕斯卡·米歇尔:
繁忙的海狸竞赛中的数论问题。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1302-6043
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1302-6043
罗伯特·加尼安,彼得·赫莱宁（Petr Hlinen）,丹尼尔·克拉尔,扬·奥布德扎勒克,贾雷特·施瓦茨,雅库布·特斯卡:
区间图的FO模型检验。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1205-5344
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-5344
西蒙·盖伊,尼尔斯·格斯伯特,安托尼奥·拉瓦拉,瓦斯科红花:
对象的模块化会话类型。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Padovani15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Padovani15
卢卡·帕多瓦尼:
复合正则型线性π-演算的类型重构。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/FrancisSS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FrancisSS15
纳迪米·弗朗西斯,吕克·塞古芬,克里斯蒂娜·西兰杰罗:
使用视图重写常规路径查询的数据日志。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/DrewesL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DrewesL15
弗兰克·德雷维斯,杰罗姆·勒鲁:
结构循环Petri网。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/corr/LatellaMV15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/LatellaMV15a
迭戈·拉特拉,梅克·马西克,埃里克·德文克:
标记状态-功能转换系统的协同模拟。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/HarwathHS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HarwathHS15
弗雷德里克·哈瓦特,卢卡斯·海姆伯格,妮可·施韦卡特:
有界度结构的保持与分解定理。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BulinDJN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BulinDJN14
雅库布·布林,德扬·德利奇,马塞尔·杰克逊,托德·奈文:
将约束问题精细化为有向图。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ChenJXLZL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChenJXLZL15
陈晨,贾丽敏,郝旭,程洛,周文超,Boon Thau Loo先生:
验证安全路由协议的程序逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/Neumann15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/Neumann15
艾克·诺依曼:
度量不动点理论中的计算问题及其Weihrauch度。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/DamianiV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/DamianiV15
费鲁西奥·达米亚尼,米尔科·维罗利:
计算字段的基于类型的自稳定。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/Blot15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Blot15
Valentin印迹:
一阶经典分析的类型化可实现性。

管理网站设置

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