Classes of Timed Automata and the Undecidability of Universality

机译：定时自动机的类别与普遍性的不确定性

代理获取

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

页面导航

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

著录项

作者
Moura Arnaldo V.; Pinto Guilherme A.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Classes of Timed Automata and the Undecidability of Universality [J] . Arnaldo V. Moura, Guilherme A. Pinto Fundamenta Informaticae . 2008,第1a2期

机译：定时自动机的类别与普遍性的不确定性
2. Undecidability Results for Timed Automata with Silent Transitions [J] . Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier Fundamenta Informaticae . 2009,第1a2期

机译：具有静默过渡的定时自动机的不确定性结果
3. Improved undecidability results on weighted timed automata [J] . Patricia Bouyer, Thomas Brihaye, Nicolas Markey Information Processing Letters . 2006,第5期

机译：改进了加权定时自动机的不确定性结果
4. Undecidability of Universality for Timed Automata with Minimal Resources [C] . Sara Adams, Joeel Ouaknine, James Worrell International Conferences on Formal Modeling and Analysis of Timed Systems(FORMATS 2007); 20071003-05; Salzburg(AT) . 2007

机译：具有最小资源的定时自动机的普遍性的不确定性
5. Undecidability of the problem of distinguishing K-theory classes of the reduced group C*-algebra for a finitely presented group. [D] . Chacon, Ben. 2003

机译：对于有限表示的组，区分归约组C *-代数的K理论类的问题的不确定性。
6. Universality Classes in Folding Times of Proteins [O] . Marek Cieplak, Trinh Xuan Hoang 2003

机译：蛋白质折叠时间的通用性类别
7. On the undecidability of universality for timed automata with minimal resources [O] . Sara E. Adams 2006

机译：论资源最少的时间自动机的普遍性不可判定性
8. Universal Classes of Extremely Random Constant Time Hash Functions and their Time-Space Tradeoff. [R] . Siegel, A. 1995

机译：极随机常数时间哈希函数的通用类及其时空权衡。

Classes of Timed Automata and the Undecidability of Universality

著录项

引文网络

相似文献

相关主题

期刊订阅