城市,基督教 POSIX正则表达式派生词词法分析。 (英语) Zbl 07722431号 J.汽车。推理 67,第3期,第24号论文,24页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban},J.Autom。推理67,第3号,论文24,24页(2023;Zbl 07722431) 全文: 内政部
张兴元;城市,基督教;吴春汉 优先级继承协议被证明是正确的。 (英语) Zbl 1468.68036号 J.汽车。推理 64,第1期,73-95(2020年).MSC公司:68平方米 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人,J.Autom。推理64,No.1,73--95(2020;Zbl 1468.68036) 全文: 内政部
张兴元(编辑);城市,基督教(编辑) 2015年ITP精选扩展论文:前言。 (英语) Zbl 1465.68028号 J.汽车。推理 62,第4号,431-432(2019).MSC公司:68-06 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}(编辑)和\textit{C.Urban}(编辑),J.Autom。推理62,No.4,431--432(2019;Zbl 1465.68028) 全文: 内政部
吴春汉;张兴元;城市,基督教 基于正则表达式的Myhill-Nerode定理的形式化。 (英语) Zbl 1314.68179号 J.汽车。推理 52,第4期,451-480(2014).MSC公司:65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Wu}等人,J.Autom。推理52,No.4,451--480(2014;Zbl 1314.68179) 全文: 内政部
城市,基督教 Isabelle/HOL中的标称技术。 (英语) Zbl 1140.68061号 J.汽车。推理 40,第4号,327-356(2008).MSC公司:68吨15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban},J.Autom。推理40,No.4,327--356(2008;Zbl 1140.68061) 全文: 内政部