×
斯拉沃米尔·拉索塔；伊戈尔·瓦卢基维奇

交替定时自动机。 （英语） Zbl 1367.68172号

ACM事务处理。计算。日志。 第9号第2条第10条第27页（2008年）.

引用于14文件

MSC公司：

65年第68季度 形式语言和自动机
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析

关键词：

交替；空虚问题；时间自动机
PDF格式BibTeX公司 XML格式引用
\textit{S.Lasota}和\textit{I.Walukiewicz}，ACM Trans。计算。日志。9，第2号，第10条，第27页（2008年；Zbl 1367.68172）
全文： 内政部 哈尔