藤田,健毅;阿列克西·舒伯特 具有有限分层多态类型的无类型类型系统F中类型相关问题的不可判定性。 (英语) Zbl 1283.03063号 Inf.计算。 218, 69-87 (2012).MSC公司:03B70号 03B25号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.-e.Fujita}和\textit{A.Schubert},Inf.Comput。218、69-87(2012年;Zbl 1283.03063) 全文: 内政部
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;吉·斯尔巴 EXPTIME-对模态转换系统进行彻底细化的完整性。 (英语) Zbl 1282.68118号 Inf.计算。 218, 54-68 (2012).MSC公司:2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《信息计算》。218、54-68(2012年;Zbl 1282.68118) 全文: 内政部
保罗·马特乌斯;邱道文;李绿洲 关于最小化概率和量子自动机的复杂性。 (英语) Zbl 1279.68164号 Inf.计算。 218, 36-53 (2012).MSC公司:65年第68季度 65年第68季度 2012年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateus}等人,《信息计算》。218,36-53(2012年;兹bl 1279.68164) 全文: 内政部
凯斯,约翰;桑杰贾恩;乐、中岛;王玉欣;帕维尔·塞穆金;弗兰克·斯蒂芬 模式语言子类的自动学习。 (英语) Zbl 1279.68139号 Inf.计算。 218, 17-35 (2012).MSC公司:65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,《信息计算》。218、17-35(2012年;Zbl 1279.68139) 全文: 内政部
亚历山大·拉比诺维奇 用一元谓词展开\((\mathbb{N},<)\)的Church问题。 (英语) Zbl 1285.03005号 Inf.计算。 218, 1-16 (2012). 审核人:Mihai Prunescu(布加勒斯特) MSC公司:03B25号 03B15号机组 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。218,1--16(2012;Zbl 1285.03005) 全文: 内政部