停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第7届CATS 2001：澳大利亚昆士兰州黄金海岸

>主页 >会议和研讨会 >猫

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cats/2001
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cats/2001
科林·菲奇:
计算：澳大利亚理论研讨会，CATS 2001，澳大利亚黄金海岸，2001年1月29日至30日。理论计算机科学电子笔记42,爱思维尔 2001
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/SreenivasVJ01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/SreenivasVJ01
阿肖克·斯列尼瓦斯,R.文卡特斯,马泰·约瑟夫:
正式软件开发的元建模。 1-11
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/McIverM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/McIverM01
安娜贝勒·麦克伊弗,卡罗尔·摩根:
时间逻辑PTL中的几乎确定的事件和抽象概率。 12-40
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Arslanov01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Arslanov01
阿萨特·阿尔斯兰诺夫:
算法随机性的基本可计算性理论性质。 41-51
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BabaHF01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BabaHF01
Kensuke Baba先生,Sachio Hirokawa先生,藤田贤一:
无类型lambda/mu-Calculus的并行约简。 52-66
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Cerone01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Cerone01
安东尼奥·塞隆:
定理证明的区间微积分公理化。 67-88
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DawsonG01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DawsonG01
杰里米·道森,拉杰夫·戈尔:
将显示演算嵌入逻辑框架：比较Twelf和Isabelle。 89-103
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Dunne01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Dunne01
史蒂夫·邓恩:
抽象命令：规范和实现的统一符号。 104-123
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FordM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FordM01
乔纳森·福特,伊恩·梅森:
PVS操作技术-初步评估。 124-142
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GerdsmeierC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GerdsmeierC01
托尔斯滕·格德斯迈尔,雷切尔·卡德尔-奥利弗:
使用通用时间自动机分析调度行为。 143-157
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/TorreN01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/TorreN01
萨尔瓦托雷·拉托雷,玛格丽塔·那不勒斯:
时间欧米伽树上的有限自动机模型。 158-173
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LinkS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LinkS01
塞巴斯蒂安链接,克劳斯·迪特尔·斯奎:
一致性执行理论中的可计算性和可决定性问题。 174-196
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MartinF01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MartinF01
安德鲁·马丁,科林·菲奇:
Z轴起吊。 197-219
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MizutaniIS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MizutaniIS01
水井裕久,井原茂（Shigeru Igarashi）,Shio Masayuki Shio:
离散受控连续系统的时态算法表示。 220-231
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/SaundersT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/SaundersT01
谢恩·桑德斯,大岛高冈:
近似非循环图的改进最短路径算法。 232-248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Sachte01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Schachte01
彼得·沙赫特:
约束逻辑程序的精确目标无关抽象解释。 249-265
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/tcs/ShieldHC01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ShieldHC01
杰米·希尔德,伊恩·海耶斯,大卫·A·卡林顿:
使用理论解释机械化定理证明器中的领域。 266-281
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Fidge01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Fidge01
科林·菲奇:
前言。 282-283

服务

管理网站设置

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