×
奥尔纳·库普弗曼；莫舍·瓦尔迪。

弱交替自动机并没有那么弱。 （英语） Zbl 1171.68551号

ACM事务处理。计算。日志。 2，第3期，408-429（2001）.

引用于三评论
引用于52文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B70号 计算机科学中的逻辑
05年3月 与逻辑问题相关的自动机和形式文法
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，ACM Trans。计算。日志。2，第3号，408--429（2001；Zbl 1171.68551）
全文： DOI程序 链接