默认搜索操作

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

问别人

《理论计算机科学》第777卷

>主页 >期刊销售 >理论计算机科学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第777卷，2019年7月

纪念理论计算机科学的创始人莫里斯·尼瓦特（上）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AusielloKRSSC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AusielloKRSSC19
乔治奥·奥斯耶罗,莉拉·卡里,格列泽戈兹·罗森伯格,唐纳德·桑内拉,保罗·G·斯皮拉基斯,皮埃尔·路易斯·库里恩:
前言。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ActeoMFI19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AcetoMFI19
卢卡·埃特罗,达里奥·德拉·莫妮卡,伊格纳西奥·法布雷加斯,Anna Ingólfsdóttir女士:
素数公式的特征是什么时候？ 3-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AlvimCMMPS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AlvimCMMPS19
马里奥·阿尔维姆,康斯坦丁诺斯·查齐科科拉基斯,安娜贝拉·麦克维尔,卡罗尔·摩根,帕拉米德斯猫,杰弗里·史密斯:
信息流度量的公理化。 32-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AnselmoGM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AnselmoGM19
马塞拉·安塞尔莫,多拉·贾马尔西,玛丽亚·马多尼亚:
用于对图片进行编码的全套图片。 55-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BeatonBGR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BeatonBGR19
尼古拉斯·比顿,马蒂尔德·鲍维尔,维罗妮卡·格里尼,西蒙·里纳尔迪:
列举五类无模式反转序列；并引入加泰罗尼亚数字。 69-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BertheB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BertheB19
瓦莱里·伯瑟,保丽娜·切奇·贝纳莱斯:
符号系统中的平衡性和边界。 93-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BlanchetteCR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BlanchetteCR19
本杰明·布兰切特,克里斯蒂安·乔夫鲁特,克里斯托夫·鲁特诺尔:
准自动半群。 111-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BrzozowskiDM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BrzozowskiDM19
Janusz A.布尔佐夫斯基,西尔维·戴维斯,阿披舍克·马丹:
正则语言中模式匹配的状态复杂性。 121-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CardelliTTV19a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CardelliTTV19a
鲁卡·凯德利,Mirco Tribastone公司,马克斯·柴可夫斯基,安德烈·范丁:
微分等价的符号计算。 132-154
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ChenM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ChenM19
陈静（音译）,西尔维奥·米卡利:
Algorand：一个安全高效的分布式账本。 155-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Coquand19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Coquand19
蒂埃里·科昆:
从属类型理论的规范性和规范化。 184-191
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Dassow19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Dassow19
尤尔根·达索:
在封闭进化操作的轨道上——形式语言的例子。 192-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DershowitzJ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DershowitzJ19
纳丘姆·德肖维茨,Jean-Pierre Jouannaud女士:
Drags：用于图形重写的组合代数框架。 204-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/tcs/DolceRR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DolceRR19
弗朗西斯科·多尔斯,安东尼奥·雷斯蒂沃,克里斯托夫·鲁特诺尔:
关于广义林登词。 232-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DondiMZ19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DondiMZ19
里卡多·唐迪,吉安卡洛·毛里,伊塔洛·佐皮斯:
关于在网络中查找不相交俱乐部的易处理性。 243-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DrosteDK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DrosteDK19
曼弗雷德·德罗斯特,斯文·齐亚德克,沃纳·库伊奇:
加权简单重置下推自动机。 252-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/EndrullisK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/EndrullisK19
约格·恩德鲁利斯,简·威廉·克洛普:
通过术语重写编织。 260-295
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Engeler19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Engeler19
欧文·恩格勒:
关于“大脑如何思考？”的神经代数。 296-307
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/EtessamiWY19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/EtessamiWY19
库沙·埃特萨米,多米尼克·沃伊特扎克,米哈利斯·扬纳卡基斯:
具有正报酬的递归随机博弈。 308-328
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FrosiniV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FrosiniV19
安德烈亚·弗罗西尼,劳伦特·武隆:
使用对偶Horn子句重建2-凸多边形的层析成像。 329-337
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Gerard19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Gerard19
严杰拉德（Yan Gerard）:
常规开关组件。 338-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/IbarraMR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/IbarraMR19
奥斯卡·H·伊巴拉,伊恩·麦克奎伦,巴拉·拉维库马尔:
关于语言的计数功能和细长性。 356-378
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KariM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KariM19
贾科·卡里,艾蒂安·穆托:
Nivat猜想与代数子移位中的模式复杂性。 379-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KimotoKFK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KimotoKFK19
Nobuya Kimoto先生,肯·科米亚,藤本贤三,小林佐治:
单调控制具有未知行为的右线性文法以输出目标字符串。 387-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/小林19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Kobayashi19
小林直树:
非确定性递归程序方案的前沿语言和Dyck语言之间的包含是不可判定的。 409-416
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/OkhotinS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/OkhotinS19
亚历山大·奥霍廷,凯·萨洛马:
编辑输入驱动下推自动机的距离邻域。 417-430
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/OkuboY19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/OkuboY19
大久保富美亚,横本隆:
化学反应传感器的分解和分解。 431-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Orellana-Martin19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Orellana-Martin19
大卫·奥雷拉纳·马汀,路易斯·瓦伦西亚-卡布雷拉,阿古斯汀·里斯科斯·努涅斯,马里奥·佩雷斯-吉梅内斯:
通过膜计算实现计算效率的途径。 443-453
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/tcs/RampersadSV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/RampersadSV19
Narad Rampersad公司,杰弗里·沙利特,埃莉斯·范多姆:
无限平衡词的临界指数。 454-463
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LeuwenW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LeeuwenW19
扬·范·列文,吉尔·维德曼:
人类和机器的问答：复杂性理论观点。 464-473
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/WuPA19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/WuPA19
吴廷芳,潘林强,阿蒂姆·阿尔哈佐夫:
具有极化的异步尖峰神经P系统的计算能力。 474-489

管理网站设置

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