爱荷华州博内娃;约阿希姆·尼伦;莫马尔·萨霍 具有约束上下文变量的压缩树模式上的规则匹配和包含。 (英语) Zbl 1487.68141号 Inf.计算。 286,文章ID 104776,25 p.(2022).MSC公司:65年第68季度 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Boneva}等人,《信息计算》。286,文章ID 104776,第25页(2022;Zbl 1487.68141) 全文: 内政部 链接
塞巴斯蒂安·马内思;费边·佩特内克 有界秩的文法压缩图的常延迟遍历。 (英语) Zbl 1446.68044号 Inf.计算。 273,文章ID 104520,19 p.(2020).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Maneth}和\textit{F.Peternek},Inf.Compute。273,文章ID 104520,19 p.(2020;Zbl 1446.68044) 全文: 内政部 arXiv公司
杰·阿图尔;马库斯·洛伊 最小线性树文法的近似。 (英语) Zbl 1353.68154号 Inf.计算。 251, 215-251 (2016).MSC公司:2012年第68季度 68页30 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{M.Lohrey},Inf.Compute。251、215——251(2016年;Zbl 1353.68154) 全文: 内政部
法兰克·德雷维斯;约斯特·恩格尔弗里特 授权网络的生成能力。 (英语) Zbl 1337.68152号 Inf.计算。 245, 213-258 (2015). 审核人:马格努斯·斯坦比(图尔库) MSC公司:65年第68季度 2012年第68季度 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}和\textit{J.Engelfriet},Inf.Compute。245213-258(2015;Zbl 1337.68152) 全文: 内政部
刘志强;克里斯托弗·林奇 高效的通用AGH统一。 (英语) Zbl 1360.94321号 Inf.计算。 238, 128-156 (2014).MSC公司:94A60 68平方米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}和\textit{C.Lynch},Inf.Comput。238128--156(2014年;Zbl 1360.94321) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 一种模序分类方程泛化算法。 (英语) Zbl 1314.68169号 Inf.计算。 235, 98-136 (2014). 审核人:Temur Kutsia(林茨) MSC公司:2012年第68季度 03B70号 68号30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《Inf.Compute》。235、98——136(2014年;Zbl 1314.68169) 全文: 内政部
玛丽·劳雷·穆格尼尔;吉纳维耶夫·西蒙内;米夏·托马佐 论具有原子否定的存在合取一阶逻辑中蕴涵的复杂性。 (英语) 兹比尔1251.03071 Inf.计算。 215, 8-31 (2012).MSC公司:20层03 03B20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-L.Mugnier}等人,《信息计算》。215、8--31(2012;Zbl 1251.03071) 全文: 内政部
马蒂亚斯·曼恩;曼弗雷德·施密特·沙乌 相似性意味着在一类非确定的按需调用lambda计算中等价。 (英语) Zbl 1187.68129号 Inf.计算。 208,第3期,276-291(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}和\textit{M.Schmidt-Schauß},Inf.Compute。208,第3号,276--291(2010;Zbl 1187.68129) 全文: 内政部
丹尼斯·卡罗梅尔;卢多维奇·亨利奥;伯纳德·保罗·塞尔佩特 异步顺序过程。 (英语) Zbl 1170.68026号 Inf.计算。 207,第4期,459-495(2009).MSC公司:68问题85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Caromel}等人,《信息计算》。207,第4号,459--495(2009;Zbl 1170.68026) 全文: 内政部 链接
弗兰兹·巴德;扬·赫拉迪克;拉斐尔·佩尼亚洛萨 Automata可以显示描述逻辑的PSpace结果。 (英语) Zbl 1149.68073号 Inf.计算。 206,编号9-10,1045-1056(2008).MSC公司:第68页第27页 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,《信息计算》。206,编号9--10,1045--1056(2008;Zbl 1149.68073) 全文: 内政部 链接
亚尼克·骑士;迈克尔·鲁西诺维奇 入侵者理论的层次组合。 (英语) Zbl 1147.68396号 Inf.计算。 206,编号2-4,352-377(2008).MSC公司:68平方米 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},Inf.Compute。206,编号2--4,352--377(2008;Zbl 1147.68396) 全文: 内政部 链接
Tour男孩,蒂埃里;穆纳乔·埃切宁 置换重写和统一。 (英语) Zbl 1112.68072号 Inf.计算。 205,第4号,624-650(2007).MSC公司:2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Boy de la Tour}和\textit{M.Echenim},Inf.Compute。205,第4号,624--650(2007;Zbl 1112.68072) 全文: 内政部
弗兰兹·巴德;西尔维奥·吉拉尔迪;塞萨尔·蒂内利 针对词问题的一种新的组合过程推广了融合可判定性,从而产生了模态逻辑。 (英语) Zbl 1098.03048号 Inf.计算。 204,第10期,1413-1452(2006).MSC公司:03D40号 03B25号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,《信息计算》。204,第10号,1413-1452(2006;Zbl 1098.03048) 全文: 内政部
雅各布·格鲁·西蒙森 无限项重写中的模块性。 (英语) 兹比尔1104.68057 Inf.计算。 204,第6期,957-988(2006).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Simonsen},《信息计算》。204,第6号,957--988(2006;Zbl 1104.68057) 全文: 内政部
卡斯滕,卢茨;乌尔里克·萨特勒;利迪亚·坦德拉 描述逻辑中有限模型推理的复杂性。 (英语) Zbl 1097.03022号 Inf.计算。 199,第1-2号,第132-171页(2005年).MSC公司:03B70号 2015年3月1日 2017年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人,《信息计算》。199,编号1--2,132-171(2005;Zbl 1097.03022) 全文: 内政部
曼弗雷德·施密特·沙乌 有界二阶统一的判定性。 (英语) Zbl 1078.68139号 Inf.计算。 188,第2143-178号(2004年).MSC公司:第68页第15页 03B35型 03B40型 03B25号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß},Inf.计算。188,第2号,143--178(2004;Zbl 1078.68139) 全文: 内政部 链接
弗兰兹·巴德;塞萨尔·蒂内利 在方程式理论的结合中决定单词问题。 (英语) Zbl 1049.03032号 Inf.计算。 178,第2期,346-390(2002).MSC公司:03D40号 03B25号 03C05号机组 03B35型 2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{C.Tinelli},信息计算。178,编号2,346--390(2002;Zbl 1049.03032) 全文: 内政部 链接
罗伯特·吉万;大卫·麦卡利斯特;威蒂,卡尔;德克斯特·科赞 Tarskian集合约束。 (英语) Zbl 1009.03019号 Inf.计算。 174,第2期,第105-131页(2002年).MSC公司:03B70号 2015年3月1日 65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Givan}等人,信息计算。174,第2号,第105--131条(2002年;Zbl 1009.03019) 全文: 内政部
米基·赫尔曼;Phokion G.科莱蒂斯。 统一算法不能在多项式时间内组合。 (英语) Zbl 1045.68568号 Inf.计算。 162,编号1-2,24-42(2000).MSC公司:65年第68季度 03B35型 2015年第68季度 2017年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermann}和\textit{P.G.Kolaitis},Inf.Compute。162,编号1--2,24-42(2000;Zbl 1045.68568) 全文: 内政部 链接
郭青;巴利亚特·纳伦德兰;沃尔夫拉姆,D.A。 幂零统一和匹配问题的复杂性。 (英语) Zbl 1045.68603号 Inf.计算。 162,编号1-2,3-23(2000).MSC公司:第68页第15页 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Guo}等人,信息计算。162,编号1--2,3--23(2000;Zbl 1045.68603) 全文: 内政部
弗朗西斯科·多尼尼。;莫里齐奥·伦泽里尼;丹尼尔·纳尔迪 概念语言的复杂性。 (英语) Zbl 0906.68145号 Inf.计算。 134,第1期,1-58页(1997年). 审核人:G.E.Tseytlin(基辅) MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Donini}等人,《信息计算》。134,第1号,1-58(1997;Zbl 0906.68145) 全文: 内政部 链接