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