首页> 外文OA文献 >Non-backtracking top-down algorithm for checking tree automata containment

【2h】

Non-backtracking top-down algorithm for checking tree automata containment

机译：用于检查树自动机包含性的非回溯自顶向下算法

页面导航

著录项
相似文献
相关主题

著录项

作者
Tadahiro Suda; Haruo Hosoya;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Advanced Automata-Based Algorithms for Program Termination Checking [J] . Yu-Fang Chen, Matthias Heizmann, Ond?ej Lengál, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2018,第4期

机译：基于Applia自动数据的程序终止检查算法
2. Model Checking Algorithms for Markov Automata [J] . Hassan Hatefi, Holger Hermanns Electronic Communications of the EASST . 2012,第10期

机译：马尔可夫自动机的模型检查算法
3. Comparison of Algorithms for Checking Emptiness on B?chi Automata [J] . Andreas Gaiser, Stefan Schwoon OASIcs : OpenAccess Series in Informatics . 2009,第4期

机译：B？chi自动机上的空性检查算法比较
4. Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment [C] . Tadahiro Suda, Haruo Hosoya International Conference on Implementation and Application of Automata . 2006

机译：用于检查树自动机遏制的非返回特性自上而下算法
5. Algorithmic algebraic model checking: Hybrid automata and systems biology. [D] . Mysore, Venkatesh Pranesh. 2006

机译：算法代数模型检查：混合自动机和系统生物学。
6. Model Checking Temporal Logic Formulas Using Sticker Automata [O] . Weijun Zhu, Changwei Feng, Huanmei Wu 2006

机译：使用贴纸自动机模型检查时间逻辑公式
7. Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem [O] . Martin Dickhöfer, Icalp Prague, Czech Republic, 1999

机译：定时交替树自动机：TCTL模型检查问题的自动机理论解决方案

Non-backtracking top-down algorithm for checking tree automata containment

著录项

相似文献

相关主题

期刊订阅