沃尔克·迪克特;曼弗雷德·库夫莱特纳 局部除数技术综述。 (英语) Zbl 1332.68147号 西奥。计算。科学。 610,A部分,13-23(2016).MSC公司:70年第68季度 03B44号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{M.Kufleitner},Theor。计算。科学。610,A部分,13-23(2016;Zbl 1332.68147) 全文: DOI程序 arXiv公司
沃尔克·迪克特;曼弗雷德·库夫莱特纳;韦尔·帕斯卡 无星语言是Church-Rosser同余语言。 (英语) Zbl 1279.68147号 西奥。计算。科学。 454129-135(2012年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人,Theor。计算。科学。454,129-135(2012年;兹bl 1279.68147) 全文: DOI程序 arXiv公司
沃尔克·迪克特;保罗·加斯丁 Mazurkiewicz迹上从局部到全局的时序逻辑。 (英语) Zbl 1160.68574号 西奥。计算。科学。 356,编号1-2126-135(2006).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{P.Gastin},Theor。计算。科学。356,编号1--2,126-135(2006;Zbl 1160.68574) 全文: DOI程序
沃尔克·迪克特;尤里·马蒂亚塞维奇;安卡·穆斯科尔 解模部分交换的字方程。 (英语) Zbl 0930.68074号 西奥。计算。科学。 224,第1-2号,215-235(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人,Theor。计算。科学。224,编号1--2,215--235(1999;Zbl 0930.68074) 全文: DOI程序
沃尔克·迪克特 线性时间内可解的迹上的单词问题。 (英语) Zbl 0701.68056号 西奥。计算。科学。 74,第1期,3-18页(1990年).MSC公司:2012年第68季度 03天 03D40号 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert},Theor(提奥)。计算。科学。74,编号1,3-18(1990;兹bl 0701.68056) 全文: DOI程序
沃尔克·迪克特 关于并发进程的Knuth-Bendix完成。 (英语) Zbl 0686.68023号 西奥。计算。科学。 66,第2期,117-136(1989).MSC公司:68瓦30 68问题65 68N25号 68吨15 03年3月 68瓦99 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert},Theor(提奥)。计算。科学。66,No.2,117--136(1989;Zbl 0686.68023) 全文: DOI程序