叶夫根尼·哈萨克夫 描述逻辑中复杂角色包含公理的扩展(mathcal{SROIQ})。 (英语) Zbl 1291.68382号 Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日,英国爱丁堡,第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。人工智能课堂讲稿,472-486(2010)。MSC公司:68T27型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kazakov},莱克特。注释计算。科学。6173472-486(2010年;兹比尔1291.68382) 全文: 内政部
Juha Honkala D0L语言上由转义定义的语言的等价问题。 (英语) Zbl 1101.68051号 国际期刊计算。数学。 82,第8期,911-918(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala},国际计算机杂志。数学。82,第8号,911--918(2005;Zbl 1101.68051) 全文: 内政部
Juha Honkala 具有D0L增长的HD0L系统的语言等价问题。 (英语) Zbl 1078.68086号 西奥。计算。科学。 330,第1期,123-133(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Honkala},Theor。计算。科学。330,编号1,123--133(2005;Zbl 1078.68086) 全文: 内政部
Juha Honkala 关于无上下文语言和DT0L语言的等价问题。 (英语) Zbl 0937.68081号 离散应用程序。数学。 98,第1-2号,147-149(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala},离散应用程序。数学。98,编号1--2,147-149(1999;Zbl 0937.68081) 全文: 内政部
T·哈尔朱。;Karhumäki,J。 多带有限自动机的等价问题。 (英语) 兹比尔0727.68063 西奥。计算。科学。 78,第2期,347-355(1991). 审核人:P.Turakainen(欧陆) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Harju}和\textit{J.Karhumäki},Theor。计算。科学。78,No.2,347--355(1991;Zbl 0727.68063) 全文: 内政部
布彻,W。 双边界操作系统的规则性测试。 (英语) Zbl 0569.68061号 学报信息。 23, 245-253 (1986).MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Bucher},《学报信息》23,245--253(1986;Zbl 0569.68061) 全文: 内政部
鲁霍宁(Ruohonen,Keijo) 正则语言重数集的相等性。 (英语) Zbl 0611.68049号 西奥。计算。科学。 36, 113-117 (1985). 审核人:A.斯托尔布什金 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ruohonen},Theor。计算。科学。36、113--117(1985年;Zbl 0611.68049) 全文: 内政部
安德烈·埃伦菲赫特;大卫·豪斯勒;格列泽戈兹·罗森贝格 DOS系统中的模糊性。 (英语) Zbl 0565.68068号 RAIRO,Inf.Théor公司。 18, 279-295 (1984). 审核人:P.Jirků MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人,RAIRO,Inf.Théor。18、279--295(1984年;Zbl 0565.68068) 全文: 欧洲DML
马提亚斯·扬岑;曼弗雷德·库德莱克 由半图厄系统定义的句子形式语言的同态图像。 (英语) Zbl 0542.68059号 西奥。计算。科学。 33,13-43(1984年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jantzen}和\textit{M.Kudlek},Theor。计算。科学。33、13-43(1984年;Zbl 0542.68059) 全文: 内政部
安德烈·埃伦菲赫特;大卫·豪斯勒;格列泽戈兹·罗森贝格;保罗·泽格尔 关于DOS语言和DOS映射。 (英语) Zbl 0535.68034号 半群论坛 29, 123-148 (1984). 审核人:G.Paŭn公司 MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人,半群论坛29,123--148(1984;Zbl 0535.68034) 全文: 内政部 欧洲DML
布彻,W。;J·哈格尔。 常规语言是否完全无上下文是可以决定的。 (英语) Zbl 0529.68042号 西奥。计算。科学。 26, 233-241 (1983).MSC公司:65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Bucher}和\textit{J.Hagauer},Theor。计算。科学。26233-241(1983年;兹bl 0529.68042) 全文: 内政部
布彻,W。 生成正则语言的双符号DOS系统。 (英语) Zbl 0504.68048号 学报信息。 20, 133-142 (1983).MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Bucher},《学报》第20期,第133--142页(1983年;Zbl 0504.68048) 全文: 内政部
A.埃伦菲赫特。;G.罗森伯格。 使用DOS语言的表示定理。 (英语) Zbl 0504.68047号 西奥。计算。科学。 21, 75-90 (1982).MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},Theor。计算。科学。21,75-90(1982;Zbl 0504.68047) 全文: 内政部
J·哈格尔。 论确定性纯语法形式的形式等价性。 (英语) Zbl 0485.68064号 西奥。计算。科学。 18, 69-87 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Hagauer},Theor。计算。科学。18、69——87(1982;Zbl 0485.68064) 全文: 内政部
尤尔根·达索 具有估值的Grammars-生物聚合物自组织的离散模型。 (英语) Zbl 0485.68062号 离散应用程序。数学。 161-174年(1982年).MSC公司:65年第68季度 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow},离散应用程序。数学。4、161--174(1982年;Zbl 0485.68062) 全文: 内政部
鲁霍宁(Ruohonen,Keijo) DOL-DTOL等价问题的可判定性。 (英语) Zbl 0491.68048号 J.计算。系统。科学。 22, 42-52 (1981).MSC公司:第68季度第42季度 65年第68季度 03D40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ruohonen},J.计算。系统。科学。22、42-52(1981年;Zbl 0491.68048) 全文: 内政部
吉里·皮克 关于OL语言和上下文无关语言之间联系的注释。 (英语) Zbl 0415.68038号 凯贝内提卡 15, 136-140 (1979).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Pik},凯贝内提卡15,136--140(1979;Zbl 0415.68038) 全文: 欧洲DML
特罗·哈尔朱;马蒂·彭顿 句子形式的一些可判定性问题。 (英语) Zbl 0405.68061号 国际期刊计算。数学。 7, 95-107 (1979).MSC公司:65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Harju}和\textit{M.Penttonen},国际计算机杂志。数学。1995年7月7日至107日(1979年;兹bl 0405.68061) 全文: 内政部
卡雷尔·库利克二世;阿托·萨洛马 关于语言同态等价的可判定性。 (英语) Zbl 0389.68042号 J.计算。系统。科学。 17, 163-175 (1978).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}和\textit{A.Salomaa},J.Compute。系统。科学。17、163--175(1978年;Zbl 0389.68042) 全文: 内政部
保罗·维塔尼(Paul M.B.Vitanyi)。 确定性Lindenmayer语言、非终结符和同态。 (英语) Zbl 0332.68050号 西奥。计算。科学。 2, 49-71 (1976).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.M.B.Vitanyi},Theor。计算。科学。2、49--71(1976年;Zbl 0332.68050) 全文: 内政部 链接
吉诺里Ezawa;Masaharu水本茂;丰田章一;田中,高基町 交互式语言。 (英语) Zbl 0324.68049号 J.计算。系统。科学。 12, 49-63 (1976).MSC公司:65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ezawa}等人,《计算杂志》。系统。科学。12、49-63(1976年;Zbl 0324.68049) 全文: 内政部
A.N.马斯洛夫。;斯托茨基。D。 形式文法类。 (英语。俄文原件) Zbl 0381.68061号 J.索夫。数学。 6, 189-209 (1976); 翻译自伊托基·诺基(Itogi Nauki Tekh.)。,序列号。特奥尔。维罗亚特恩。,材料统计,温度。基伯恩。12, 155-187 (1975). 审核人:Gheorghe P'un公司 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Maslov}和\textit{È.D.Stotskiĭ},J.Sov。数学。6、189--209(1975年;Zbl 0381.68061);翻译自伊托基·诺基(Itogi Nauki Tekh.)。,序列号。特奥尔。维罗亚特恩。,材料统计,温度。基伯恩。12, 155--187 (1975) 全文: 内政部
阿托·萨洛马 一元Lindenmayer系统决策问题的求解。 (英语) Zbl 0287.68051号 离散数学。 9, 71-77 (1974).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},离散数学。9、71——77(1974年;Zbl 0287.68051) 全文: 内政部