冯世光;马库斯·洛伊;卡琳·夸斯 数据字上MTL和TPTL的路径检查。 (英语) Zbl 1459.68118号 日志。方法计算。科学。 13,第3号,第19号论文,34页(2017年).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}等人,Log。方法计算。科学。13,第3号,第19号论文,34页(2017;Zbl 1459.68118) 全文: DOI程序 arXiv公司
斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·詹卡尔 确定性单计数器自动机的等价性是NL-完全的。 (英语) Zbl 1293.68181号 第45届ACM计算理论年会论文集,STOC’13。2013年6月1日至4日,美国加利福尼亚州帕洛阿尔托。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2029-0)。131-140 (2013).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Böhm}等人,in:第45届ACM计算理论年会论文集,STOC’13。2013年6月1-4日,美国加利福尼亚州帕洛阿尔托。纽约州纽约市:计算机机械协会(ACM)。131-140(2013年;Zbl 1293.68181) 全文: DOI程序 arXiv公司
Atsuyuki井上;阿基拉·伊藤;井上,Katsushi;东京冈崎 具有次对数空间的单鹅卵石图灵机的一些性质。 (英语) Zbl 1081.68020号 西奥。计算。科学。 341,编号1-3,138-149(2005).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Inoue}等人,Theor。计算。科学。341,编号1--3,138-149(2005;Zbl 1081.68020) 全文: DOI程序
博阿森,L。;A.佩蒂特。 确定性语言和非生成器。 (英语) Zbl 0568.68061号 计算机科学的理论方面,第二交响曲。,萨尔布吕肯/德国。1985年,Lect。注释计算。科学。182, 39-46 (1985).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
约瑟夫·彼得·海格;吉尔根·海因茨;威利·昆兹;Peter Ochsenschläger;于尔根·瓦茨克;赫尔穆特·韦伯 确定性单计数器语言的推理。 (英语) Zbl 0541.68051号 信息科学。 32, 139-163 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Heger}等人,《信息科学》。32、139--163(1984年;Zbl 0541.68051) 全文: DOI程序
Senizergues,G。 等价性可判定的一类新的C.F.L。 (英语) Zbl 0482.68066号 信息处理。莱特。 13,30-34(1981年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Senizergues},Inf.流程。莱特。13、30--34(1981年;Zbl 0482.68066) 全文: DOI程序
小山口,美雄;稻崎康夫;本田、纳米奥 关于两个DPDA的等价问题,其中一个是实时的。 (英语) Zbl 0443.68037号 信息处理,程序。IFIP大会。,东京和墨尔本1980,53-57(1980)。MSC公司:2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式
雅克·萨卡罗维奇 关于确定性交换上下文无关语言。 (英语) Zbl 0415.68037号 程序。Conf.理论计算机科学,滑铁卢/安大略1977,88-93(1977)。MSC公司:65年第68季度 20毫米35 PDF格式BibTeX公司 XML格式