默认搜索操作

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

问别人

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

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2014年第10卷第1期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/MartinsMB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MartinsMB13
曼纽尔·马丁斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨:
逻辑解释在程序开发中的作用。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BlumensathC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BlumensathC13
阿奇姆·布卢门萨特,布鲁诺·库塞尔:
一元二阶可定义图序。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/DavidN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DavidN13
雷内·戴维,卡里姆·努尔:
关于H的范围属性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Kuperberg14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kuperberg14
丹尼斯·库珀伯格:
常规成本函数的线性时间逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/AnantharamanBNR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AnantharamanBNR14
湿婆阿南塔拉曼,克里斯托弗·布沙尔,巴利亚特·纳伦德兰,米夏·鲁西诺维奇:
用于密码学块链的2分类等式理论的统一模。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/KawamuraORZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/KawamuraORZ13
川村昭通,大田弘之,卡斯滕·罗斯尼克,马丁·齐格勒:
光滑微分方程的计算复杂性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1107-0919
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1107-0919
斯特凡·格勒,马库斯·洛伊:
地树重写图的一阶理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/Skrzypczak14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Skrzypczak14
Michal Skrzypczak:
wB-和wS-正则语言的分隔属性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Berardid14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Berardid14
斯特凡诺·贝拉迪,乌戈·德利古罗:
知识空间和学习策略的完整性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BokerH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BokerH14
乌迪·博克,托马斯·汉津格:
折扣和自动机的精确和近似确定。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Hyvernat13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Hyvernat13
皮埃尔·海韦拉特:
基于构造函数的语言的大小改变终止原则。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/JacobsB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JacobsB14网址
瑞典雅各布斯,罗德里克·布隆:
参数化合成。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1104-3489
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1104-3489
托马斯·布拉兹迪尔,瓦克拉夫·布罗泽克,克里希南德·查特吉,Vojtech预测,安东·库塞拉:
马尔可夫决策过程中多均值-收益目标的两种观点。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Rabinovich14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Rabinovich14
亚历山大·拉比诺维奇:
坎普定理的证明。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BorgesB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BorgesB14网址
内里奥·博尔赫斯,布莱·博内:
通用一阶逻辑对于NL、P、NP和coNP是多余的。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BernardoNL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BernardoNL14
马可·贝尔纳多,洛科·德·尼古拉,米歇尔·洛雷蒂:
回顾不确定性和概率过程的跟踪和测试等效性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/MogelbergS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/MogelbergS14
拉斯穆斯·埃杰莱斯·莫格伯格,萨姆·斯塔顿:
状态的线性用法。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1302-4266
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1302-4266
迈克尔·兰皮斯:
简单图的模型检查下限。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ZanklK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ZanklK14
哈拉尔德·赞克,马丁·科尔普:
术语重写的模块复杂性分析。

2014年第10卷第2期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/Mimram14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Mimram14
塞缪尔·米姆拉姆:
走向三维重写理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Hyvernat14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Hyvernat14
皮埃尔·海韦拉特:
多项式函数的线性类别（扩展部分）。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BaranyGO13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BaranyGO13
文斯·巴拉尼,格奥尔格·戈特洛布,马丁·奥托:
查询守护碎片。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1212-0401
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1212-0401
约格·恩德鲁利斯,迪米特里·亨德里克斯,简·威廉·克洛普,安德鲁·波伦斯基:
使用计时贝姆树识别Lambda-Terms。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/更正/Kahramanogullari14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kahramanogullari网址14
奥赞·卡拉马诺古拉里:
证据检索中对抗非决定论的互动与深度。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/Bahr14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Bahr14
帕特里克·巴尔:
部分阶无限项重写。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/EndrullisGHKO14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/EndrullisGHKO14
约格·恩德鲁利斯,克莱门斯抓斗手,迪米特里·亨德里克斯,简·威廉·克洛普,文森特·范·奥斯特罗姆:
弱正交系统的无穷项重写：性质和反例。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BurnikI14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BurnikI14
康拉德·伯尼克,茨万科·伊尔贾佐维奇:
1-流形的可计算性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Bridges 14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Bridges14
道格拉斯·苏思·布里奇斯:
定位Ax，其中A是B（H）的子空间。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BarcenasL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/BarcenasL14
埃弗拉多·贝尔塞纳,杰苏斯·拉瓦莱:
树上的全局数值约束。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ArapinisDK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ArapinisDK14
Myrto Arapinis公司,圣埃芬妮·德劳恩,史蒂夫·克莱默:
安全协议的动态标签。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BrandtW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BrandtW14
乌尔里克·勃兰特,赫尔曼·K·G·沃尔特:
分类问题中的不可解核。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/周14h
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Zhou14h
周春来:
Harsanyi型空间的概率逻辑。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-0663
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-0663
纳塔娜·菲亚尔科夫,马丁·齐默尔曼:
有成本的平价和街头游戏。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/FrancalanzaVH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FrancalanzaVH14
阿德里安·弗兰卡兰扎,埃德斯科·德·弗里斯,马修·轩尼诗:
基于信道的并发显式资源管理的组合推理。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/BussK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BussK14
塞缪尔·巴斯,Leszek Aleksander Kolodziejczyk公司:
水池里的小石头。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/NainLV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/NainLV14
苏米特·奈恩,尤亚德·卢斯蒂格,莫舍·瓦尔迪:
概率成分合成。

2014年第10卷第3期

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Ishihara14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Ishihara14
石原慎美:
经典命题逻辑和直觉命题逻辑中变量的可判定性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BlumensathOW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BlumensathOW14
阿奇姆·布卢门萨特,马丁·奥托,马克·韦耶:
有界问题的可判定性结果。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1210-3321
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-3321
约翰内斯·埃宾,朱哈·孔廷宁,朱利安·施特芬·穆勒,赫里贝特·沃尔默:
捕获多项式时间的依赖逻辑片段。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BojanczykKL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BojanczykKL14
米科拉伊·博扬奇克,巴托克·克林,斯拉沃米尔·拉索塔:
名义集合中的自动机理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/AllenderBFL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AllenderBFL14
埃里克·阿伦德,哈里·布尔曼,卢克·弗里德曼,布鲁诺·洛夫:
简化为随机字符串集：资源边界情况。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1102-2719
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1102-2719
A.C.杰姆说,阿布泽·亚卡里尔马兹:
具有恒定随机性的有限状态验证器。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/WeihrauchT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/WeihrauchT14网站
克劳斯·维赫劳赫（Klaus Weihrauch）,纳扎宁·罗斯汉德尔·塔瓦纳:
可计算测度理论中可测集合的表示。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1302-2762
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1302-2762
马吕斯·博兹加,半径Iosif,菲利普·科内克:
决定有条件终止。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1111-0674
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1111-0674
Jan Foniok公司:
关于具有禁止树类的Ramsey性质。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/Given-WilsonGJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Given-WilsonGJ14
托马斯·吉文·威尔森,丹尼尔·戈拉,巴里·杰伊:
并发模式微积分。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1212-4288
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-112-4288
贝诺·特·德拉哈耶,乌里·法伦伯格,金·拉森,Axel Legay公司:
概率自动机的精化与差异。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1209-5669
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1209-5669
奥利维尔·芬克尔:
图灵机的欧米伽语言的模糊性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/WeihrauchJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/WeihrauchJ14网站
克劳斯·维赫劳赫（Klaus Weihrauch）,塔赫雷·贾法里哈:
$C[0；1]$上线性连续函数的可计算Jordan分解。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/AhmanCU14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AhmanCU14
丹尼尔·艾哈曼,詹姆斯·查普曼,塔尔莫·乌斯塔卢:
集装箱什么时候是康乃馨？
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/CADELM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CaiDELM14
蔡明忠,罗德尼·G·唐尼,雷切尔·爱泼斯坦,斯特芬·勒普,约瑟夫·米勒:
图灵完备C.E.集的随机串和tt-度。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/Bellin14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Bellin14
吉安路易吉·贝林:
共直觉线性逻辑的范畴证明理论。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GuckHHKT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GuckHHKT14
丹尼斯·古克,哈桑·哈特菲,霍尔格·赫尔曼斯,Joost-Pieter Katoen公司,马克·蒂默:
马尔可夫自动机的时间和长运行目标分析。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/StreicherKS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/StreicherKS14
英戈·巴滕菲尔德,克劳斯·凯梅尔,托马斯·斯特里彻:
领域理论中的观测诱导代数。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/AdamekHM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AdamekHM14
杰里·阿达梅克,马赫迪赫·哈达迪,斯特凡·米利乌斯:
关联代数、关联单数和Bloom单数。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/FoucheMD14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FoucheMD14
威廉·福凯,Safari Mukeru公司,乔治·戴维:
与算法随机布朗运动相关的测度的傅里叶谱。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Pretnar13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Pretnar13
马蒂亚·普雷特纳:
推导代数效应。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/NeurauterM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/NeurauterM14
弗里德里希·纽劳特,阿尔特·米德尔多普:
重温自然数、有理数和实数的多项式解释。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Pak14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Pak14
卡洛尔·帕克:
提高自然演绎证明的易读性并非易事。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/PlaceRZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PlaceRZ13
托马斯广场,洛里恩·范·罗伊扬（Lorijn van Rooijen）,马克·泽顿:
通过本地可测试语言和本地阈值可测试语言分离正则语言。

2014年第4期第10卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/KotekM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KotekM13
托默·科特克,约翰·马科斯基:
连接矩阵和图形参数的可定义性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Hirschowitz14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Hirschowitz14
汤姆·赫肖维茨:
CCS中公平测试的完整抽象（扩展版）。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/He14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/He14
何玉国:
论一阶逻辑中量词结构层次的严格性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1301-5500
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1301-5500
克里斯托夫·哈斯,西尔万·施密茨,菲利普·施诺贝伦:
优先信道系统的力量。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/BoerJLZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BoerJLZ14
弗兰克·S·德·波尔,穆罕默德·马赫迪·贾古奥里,科西莫·拉伊夫,吉安路易吉·扎瓦塔罗:
行动者系统的可决定性问题。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BertrandBBMBGJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BertrandBBMBGJ14
纳塔莉·贝特朗,帕特里夏·鲍耶,托马斯·布里海耶,昆汀·梅内,克里斯特尔·拜尔,马库斯·格勒,马金·尤金斯基（Marcin Jurdzinski）:
随机时间自动机。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/corr/HertlingS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HertlingS14
彼得·赫特林,克里斯托夫·斯潘德尔:
多项式时间内Feigenbaum函数方程解的计算。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1005-2897
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1005-2897
阿里·阿萨夫,亚历杭德罗·迪亚斯·卡洛,西蒙·佩德里克斯,克里斯汀·塔森,贝诺？t缬氨酸:
按值调用、按名称调用以及代数λ-演算的矢量行为。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BauerP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BauerP13
安德烈·鲍尔,马蒂亚·普雷特纳:
代数效果和处理程序的效果系统。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Schopp14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Schopp14
乌尔里希·舍普:
论交互语义与连续化和去功能化的关系。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/TurriniH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/TurriniH14网站
安德烈亚·图里尼,霍尔格·赫尔曼斯:
概率自动机的保成本互模拟。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Kjos-HanssenNR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kjos-HanssenNR14
比约恩·科霍斯·汉森,保罗·金龙V.阮,杰森·鲁特:
连续时间Doob鞅收敛定理的算法随机性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/TsaiFVT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/TsaiFVT14
蔡明贤,塞斯·福格蒂,莫舍·瓦尔迪,Yih Kuen Tsay（Yih Kuen Tsay）:
比奇互补状态。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Chen14a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Chen14a
胡比·陈:
超越Q分辨率和Prenex形式：量化约束满足的证明系统。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/BussCR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BussCR14
萨姆·巴斯,道格拉斯·森泽,杰弗里·伦梅尔:
子计算有界随机性。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Kreuzer14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Kreuzer14
亚历山大·克鲁泽:
有界变分和Helly选择定理的强度。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/LaroussinieM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/LaroussinieM14
弗朗索瓦·拉鲁西尼,尼古拉斯·马基:
量化CTL：表达性和复杂性。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Leivant13a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Leivant13a
丹尼尔·利万特:
归纳和共推计算的全局语义类型。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/BolligHLM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BolligHLM14
Benedikt Bollig公司,彼得·哈贝梅尔,马丁·勒克,本杰明·蒙梅格:
一类健壮的数据语言及其在学习中的应用。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/KouzapasY14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KouzapasY14
迪米特里奥斯·库扎帕斯,吉田信子:
全球控制的会话语义。
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/AbdullaCMS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AbdullaCMS14
帕罗什·阿齐兹·阿卜杜拉,洛伦佐·克莱门特,理查·马,斯文·桑德伯格:
有损信道系统上的随机奇偶博弈。

管理网站设置

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