首页> 外文OA文献 >Predicate Abstraction for Dense Real-Time Systems11This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001.

【2h】

Predicate Abstraction for Dense Real-Time Systems11This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001.

机译：密集实时系统的谓词抽象11这项研究得到了美国国家科学基金会（CCR-00-82560和CCR-00-86096）的支持，以及NASA Langley研究中心的B09060051合同和与霍尼韦尔明尼阿波利斯的合作协议NCC-1-399的支持。大部分研究是在第一作者于2001年7月/ 8月访问SRI International时进行的。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Möller M.Oliver; Rueß Harald; Sorea Maria;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献

1. Certain Simple, Unsolvable Problems of Group Theory. V 29,3029Parts I, II, III and IV have appeared in Series A, 57, Nos. 3 and 5; 58, Nos. 2 and 5 of these Proceedings, as well as Indag. Math., 16, Nos. 3 and 5 (1954); 17, Nos. 2 and 5 (1955).In Part I, page 234, the ninth and tenth lines following the displayed material, for both occurrences of A read D and for both occurrences of B read E: In part II, page 497, for all occurrences of M in Diagrams A and D read C. In Part IV, page 574, the third displayed line, for zαiLread z―αiL. 19).30The proof of the unsolvability of the word problem contained in this and subsequent paper is not contained in the dissertation Several simple unsolvable problems of group theory related to the word problem. (See footnote 1 of Part I.) Our proof was finally completed during the period 1954-56 while in residence at the Institute for Advanced Study. We were supported in 1954-55 directly by the Institute and in 1955-56 by National Science Foundation contract G-1974. Certain improvements were evolved ans preparations for publication were completed while the author held a Fulbright grant to the University of Oslo.Our thanks are due to Professor Kurt Gödel for his kind encouragement in these matter; certain related problems for study he has suggested we hope to deal with later. When an earlier version of Lemmas 30 and 31 was explained at a colloquium at the University of Michigan, August 3, 1956, Professor Roger Lyndon suggested an improvement which is incorporated in our present version. We are indeed indebted to Dr. John Addison and Dr. Michael Rabin for checking many of the new details during July of 1956.) [O] . Boone William W. 1957

机译：群体理论的某些简单，不可解决的问题。 V 29,3029 I，II，III和IV部分出现在A系列57、3和5号中； 58，第2和5号程序，以及Indag。 Math。，16，Nos 3 and 5（1954）; 》，第17卷，第2期和第5期（1955年）。在第一部分，第234页中，显示的材料之后的第九行和第十行，出现A读D和出现B都读E：在第二部分，第497页，对于图A和D中所有出现的M，请读C。在第Ⅳ部分，第574页中，第三行显示为zαiLreadz-αiL。 19）.30本论文及后续论文中所包含的单词问题的不可解性的证明不包含在本文中。（请参阅第I部分的脚注1。）我们的证明终于在1954-56年期间居住在高级研究所期间完成了。该研究所在1954-55年间直接为我们提供了支持，在1955-56年间得到了美国国家科学基金会的G-1974合同的支持。在作者获得奥斯陆大学富布赖特奖学金的同时，对出版物的改进和准备工作也有所进展。感谢库尔特·哥德尔教授在此方面的大力鼓励。他建议我们研究一些相关的问题，希望以后再解决。 1956年8月3日，在密歇根大学的一个座谈会上解释了Lemmas 30和31的早期版本时，Roger Lyndon教授建议进行改进，并将其纳入当前版本。我们确实要感谢John Addison博士和Michael Rabin博士在1956年7月检查了许多新细节。）

著录项

引文网络

相似文献

相关主题

期刊订阅