停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

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

>主页 >日记账 >理论计算机科学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第179卷，编号1-2，1997年6月1日

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BloomE97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BloomE97
史蒂芬·L·布鲁姆,佐尔坦·艾西克:
不动点的等式逻辑（教程）。 1-60
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KeesmatK97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KeesmatK97
西北Keesmaat,H.C.M.Kleijn先生:
向量控制并发系统行为的限制和表示。 61-102
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DoornbosBW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DoornbosBW97
Henk Doornbos公司,罗兰·卡尔·巴克豪斯,贾普·范德沃德:
数学归纳法的计算方法。 103-135
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BelineG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BerlineG97
香塔尔·柏林,克劳斯·格鲁:
ZFC+SI中映射理论的kappa-衍生语义。 137-202
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CastellaniZ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CastellaniZ97
伊利亚·卡斯特拉尼,张国强:
事件结构的并行产品。 203-215
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Baier97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Baier97
克里斯特尔·拜尔:
树和语义。 217-250
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GruskaMNP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GruskaMNP97
乔泽夫·格鲁斯卡,安吉洛·蒙蒂,玛格丽塔·那不勒斯,多梅尼科家长:
SBTA语言描述简洁。 251-271
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AlagicA97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AlagicA97
苏亚德·阿拉吉奇,玛拉·阿拉吉奇:
时序可执行规范的有序模型理论。 273-299
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/日元97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Yen97
徐春燕:
BPP-网的可达性等价。 301-317
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/SigstamS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/SigstamS97
英格·西格斯塔姆,维戈·斯托尔滕贝格-汉森:
局部紧正则空间的域和形式空间表示性。 319-331年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Lamport97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Lamport97
莱斯利·兰伯特:
流程在执行者的眼中。 333-351
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GurevichH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GurevichH97
尤里·古雷维奇,詹姆斯·哈金斯:
等价性在旁观者眼中。 353至380
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/IbarraTY97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/IbarraTY97网址
奥斯卡·H·伊巴拉,尼古拉斯·Q·特伦,陶阳:
关于循环的并行复杂性。 381-395
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ElorantaTV97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ElorantaTV97
Jaana Eloranta公司,马尔蒂·蒂纳里,安蒂·瓦尔马里:
基本过渡到互模拟等效。 397-419
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Koslowski 97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Koslowski97
尤尔根·科斯洛夫斯基:
关于连续域上自由代数的注记。 421-425
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Dunstsch97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Duntsch97
伊沃·丁施:
粗糙集逻辑。 427-436

服务

管理网站设置

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