阿诺德·菲埃茨克;克里斯托夫·韦登巴赫 叠加作为时间自动机的决策过程。 (英语) Zbl 1262.68159号 数学。计算。科学。 6,第4期,409-425(2012).MSC公司:68吨15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fietzke}和\textit{C.Weidenbach},数学。计算。科学。6,第4号,409--425(2012;Zbl 1262.68159) 全文: DOI程序
阿诺德·菲埃茨克;克里斯托夫·韦登巴赫 带标签的拆分。 (英语) Zbl 1192.68628号 安。数学。Artif公司。智力。 55,编号1-2,3-34(2009).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fietzke}和\textit{C.Weidenbach},安.数学。Artif公司。智力。55,编号1--2,3--34(2009;Zbl 1192.68628) 全文: DOI程序