马丁·范策尔;卡琳·夸斯;马赫萨·希尔穆罕默德;詹姆斯·沃雷尔 时间自动机可达关系的有效定义。 (英语) Zbl 1478.68126号 信息处理。莱特。 153,文章ID 105871,4 p.(2020).MSC公司:65年第68季度 05年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,《信息流程》。莱特。153,文章ID 105871,4 p.(2020;Zbl 1478.68126) 全文: 内政部 arXiv公司
马丁·范策尔;伯恩哈德·冯·斯坦格尔;阿恩·威姆斯 语义独立性的广义概念。 (英语) Zbl 0875.68619号 信息处理。莱特。 53,第1期,第5-9页(1995年).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,《Inf.过程》。莱特。53,第1、5--9号(1995年;Zbl 0875.68619) 全文: 内政部