默认搜索操作

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

问别人

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

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

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第356卷，编号1-2，2006年5月

为纪念教授克里斯蒂安·乔夫鲁特在他60岁生日之际

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/X06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/X06
乔夫鲁特教授。

前言

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BertoniEK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BertoniEK06
阿尔贝托·贝托尼,佐尔坦·埃西克,朱哈尼·卡胡马基:
前言。 1-5

贡献

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BealP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BealP06
玛丽·皮埃尔·贝亚尔,多米尼克·佩林:
代码、明确的自动机和sofic系统。 6-13
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BertoniMP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BertoniMP06
阿尔贝托·贝托尼,卡洛·梅雷盖蒂,比阿特丽斯·帕拉诺:
一些用于分析量子自动机的正式工具。 14-25
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BrijderHR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BrijderHR06
罗伯特·布里德,亨德里克·扬·胡格布姆,格列泽戈兹·罗森伯格（Grzegorz Rozenberg）:
使用断点图还原纤毛虫的基因模式。 26-45
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Brzozowski06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Brzozowski06
贾努斯·布尔佐夫斯基:
用规范词表示一类不确定半自动机。 46-57
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CastiglioneRV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CastiglioneRV06
朱西·卡斯蒂格利翁,安东尼奥·雷斯蒂沃,罗伯托·瓦格利卡:
一种L凸多边形的重建算法。 58-72
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ChaubardPS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ChaubardPS06
劳拉·肖巴德,Jean-Eric别针,霍华德·斯特劳宾:
行动，花环产品C类-品种和串联产品。 73-89
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CherubiniCPP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CherubiniCPP06
亚历山德拉·切鲁比尼,斯特凡诺·克雷斯皮·雷吉齐,马泰奥·普拉德拉,皮埃尔路易吉·圣彼得罗:
图片语言：平铺系统与平铺重写语法。 90-103
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/DAlessandroIV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DAlessandroIV06
弗拉维奥·达莱桑德罗,贝内代托·因特里吉拉,斯特凡诺·瓦里奇奥:
稀疏无上下文语言计数函数的结构。 104-117
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LucaL06a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LucaL06a
阿尔多·德卢卡,亚历山德罗·德卢卡:
有限Sturmian词的一些特征。 118-125
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DiekertG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DiekertG06
沃尔克·迪克特,保罗·加斯廷:
Mazurkiewicz迹上从局部到全局的时序逻辑。 126-135
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Esik06a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Esik06a
佐尔坦·埃西克:
描述有限树上类CTL逻辑的特征。 136-152
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GoldwurmL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GoldwurmL06
Massimiliano Goldwurm公司,维奥莱塔·罗纳蒂:
模式统计和Vandermonde矩阵。 153-169
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Grigorief06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Grigorieff06
谢尔盖·格里戈里夫:
非均匀时滞细胞自动机有界度图的同步D类地板（原木_米 D类). 170-185
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HarjuN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HarjuN06
Tero Harju公司,德克·诺沃特卡:
论原始词的独特因式分解。 186-189
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/IbarraR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/IbarraR06
奥斯卡·H·伊巴拉,巴拉·拉维库马尔:
关于部分盲多头有限自动机。 190-199
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KarhumakiKO06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KarhumakiKO06
朱哈尼·卡哈梅基,米查尔·库克,亚历山大·奥霍廷:
通过通勤计算。 200-211
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LateuxLRT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LatteuxLRT06
米歇尔·拉特奥,奥雷连·勒梅,伊夫·罗斯,阿兰·特鲁特:
识别biRFSA语言。 212-223
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LombardyS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LombardyS06
西尔万·伦巴第,雅克·萨卡罗维奇:
相继的？ 224-244
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/Neraud06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Neraud06
让·奈拉德:
在子单体中完成前缀代码。 245-254
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Zielonga06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Zielonka06
维斯拉夫·齐埃隆卡:
Mazurkiewicz轨迹的时间采样。 255-262

第356卷第3期，2006年5月

并发序言中的表现力

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BaetenC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BaetenC06
Jos C.M.Baeten先生,弗拉维奥·科拉迪尼:
前言。 263-264

贡献

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Glabbeek06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Glabeek06
罗布·范·格拉贝克:
关于高维自动机的表达性。 265-290
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CorradiniBV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CorradiniBV06
弗拉维奥·科拉迪尼,玛丽亚·丽塔·迪贝拉迪尼,沃尔特·福格勒:
系统计算中组件的公平性。 291-324
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AndovaW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AndovaW06
苏珊娜·安多瓦,蒂姆·A·C·威廉斯:
概率系统的分支互模拟：特征和可判定性。 325-355
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BeffaraM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BeffaraM06
埃曼纽尔·贝法拉,弗朗索瓦·莫雷尔:
并发网络：进程计算中前缀的研究。 356-373
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/FinkelGRB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FinkelGRB06
阿兰·芬克尔,吉勒斯·杰拉尔茨,让-弗朗索瓦·拉斯金,劳伦特·范·贝京:
上欧米茄-扩展Petri网的语言表达能力。 374-386
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/NicolaGP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/NicolaGP06
洛科·德·尼古拉,丹尼尔·戈拉,罗萨里奥·普格利泽:
基于KLAIM的计算的表达能力。 387-421
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BundgaardHG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BundgaardHG06
米克尔·邦加德,托马斯·希尔德布兰特,Jens Chr.公司。哥斯克森:
高阶移动嵌入式资源中名称传递的CPS编码。 422-439
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Guan06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Guan06
关旭东:
类环境演算中的名称传递及其使用空间逻辑的证明。 440-467
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/PhillipsV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/PhillipsV06
伊恩·菲利普斯,玛丽亚·格拉齐亚·维格利奥蒂:
在环境进程中进行领导人选举。 468-494

管理网站设置

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