何塞·梅塞盖尔 条件重写模公理的严格一致性。 (英语) Zbl 1386.68080号 西奥。计算。科学。 672, 1-35 (2017).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},Theor(西奥)。计算。科学。672,1--35(2017;Zbl 1386.68080) 全文: DOI程序
吉安卢卡·阿马托;詹姆斯·利普顿;罗伯特·麦克格雷 关于声明性编程语言的代数结构。 (英语) Zbl 1187.68121号 西奥。计算。科学。 410,第46号,4626-4671(2009).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Amato}等人,Theor。计算。科学。410,编号46,4626--4671(2009;Zbl 1187.68121) 全文: DOI程序
赛义德·萨利希;马格纳斯·斯坦比 树代数和各种树语言。 (英语) Zbl 1118.68089号 西奥。计算。科学。 377,编号1-3,1-24(2007).MSC公司:70年第68季度 65年第68季度 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Salehi}和\textit{M.Steinby},Theor。计算。科学。377,编号1--3,1--24(2007;Zbl 1118.68089) 全文: DOI程序
帕斯卡·乌尔索;伊曼纽尔·库纳利斯 数学归纳法中的合理概括。 (英语) Zbl 1078.68141号 西奥。计算。科学。 323,编号1-3,443-471(2004).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Urso}和\textit{E.Kounalis},Theor。计算。科学。323,编号1-3443-471(2004年;兹bl 1078.68141) 全文: DOI程序
沃尔夫冈·托马斯 统一和非统一识别。 (英语) Zbl 1064.68059号 西奥。计算。科学。 292,第1期,299-316(2003).MSC公司:65年第68季度 70年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{W.托马斯},Theor。计算。科学。292,第1号,299--316(2003;Zbl 1064.68059) 全文: DOI程序
舒尔茨,K.U。;凯普瑟,S。 约束系统的组合Ⅱ:理性融合。 (英语) Zbl 0992.68192号 西奥。计算。科学。 266,编号1-2,113-157(2001).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.U.Schulz}和\textit{S.Kepser},Theor。计算。科学。266,编号1--2,113--157(2001;Zbl 0992.68192) 全文: DOI程序
Joaquín Mateos,拉戈;马里奥·罗德里格斯·阿塔莱霍 具有遗传继承的面向对象编程的声明性框架。 (英语) Zbl 0992.68025号 西奥。计算。科学。 269,编号1-2,363-417(2001).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Lago}和\textit{M.R.Artalejo},Theor。计算。科学。269,编号1--2,363--417(2001;Zbl 0992.68025) 全文: DOI程序
Degtyarev,A。;Y.古雷维奇。;纳伦德兰,P。;韦恩斯,M。;沃伦科夫,A。 具有一个变量和相关结果的同时刚性E-统一的可判定性和复杂性。 (英语) Zbl 0944.68103号 西奥。计算。科学。 243,第1-2号,167-184(2000).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Degtyarev}等人,Theor。计算。科学。243,编号1--2,167--184(2000;Zbl 0944.68103) 全文: DOI程序
帕达维茨,P。 摆动类型=功能+关系+过渡系统。 (英语) Zbl 0947.68098号 西奥。计算。科学。 243,编号1-2,93-165(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{P.Padawitz},Theor。计算。科学。243,编号1--2,93-165(2000;Zbl 0947.68098) 全文: DOI程序
Lodaya,K。;威尔,P。 串行并行语言和有界宽度属性。 (英语) Zbl 0939.68042号 西奥。计算。科学。 237,编号1-2,347-380(2000).MSC公司:2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya}和\textit{P.Weil},Theor。计算。科学。237,编号1--2,347--380(2000;Zbl 0939.68042) 全文: DOI程序
弗兰兹·巴德;克劳斯·舒尔茨。 自由结构和准自由结构的约束求解器的组合。 (英语) Zbl 0895.68019号 西奥。计算。科学。 192,第1期,第107-161页(1998年).MSC公司:68N17号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{K.U.Schulz},Theor。计算。科学。192,编号1,107--161(1998;Zbl 0895.68019) 全文: DOI程序
安德烈亚斯·波德尔斯基;格特·斯莫尔卡 情境简化。 (英语) Zbl 0902.68035号 西奥。计算。科学。 173,第1期,235-252(1997).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{G.Smolka},Theor。计算。科学。173,编号1,235--252(1997;Zbl 0902.68035) 全文: DOI程序
莱因哈德·邦根 布赫伯格算法:术语重写者的观点。 (英语) Zbl 0871.68088号 西奥。计算。科学。 159,第2143-190号(1996年).MSC公司:68宽10 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Bündgen},Theor。计算。科学。159,第2号,143--190(1996;Zbl 0871.68088) 全文: DOI程序
布鲁诺·库塞尔 语言理论和图文法的泛代数的基本概念。 (英语) Zbl 0874.68170号 西奥。计算。科学。 163,第1-2、1-54号(1996年).MSC公司:65年第68季度 08A70型 68兰特 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。163,编号1--2,1--54(1996;Zbl 0874.68170) 全文: DOI程序
罗尔夫·巴科芬;格特·斯莫尔卡 一个完整的递归特征理论。 (英语) 兹比尔0873.68024 西奥。计算。科学。 146,编号1-2,243-268(1995).MSC公司:68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{G.Smolka},Theor。计算。科学。146,编号1--2,243--268(1995;Zbl 0873.68024) 全文: DOI程序 arXiv公司
玛丽亚·保拉(Maria Paola Bonacina);Jieh乡 建立作为半决策程序的完成程序基础。 (英语) Zbl 0873.68107号 西奥。计算。科学。 146,第1-2期,199-242(1995).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{J.Xiang},Theor。计算。科学。146,编号1-2199-242(1995年;Zbl 0873.68107) 全文: DOI程序
艾特·卡奇,哈桑;雅克·加里格 标签选择\(\lambda\)-演算语法和合流。 (英语) Zbl 0871.68032号 西奥。计算。科学。 151,第2期,353-383(1995).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}和\textit{J.Garrigue},Theor。计算。科学。151,编号2,353--383(1995;Zbl 0871.68032) 全文: DOI程序
丹尼尔·博基尔;安德烈亚斯·波德尔斯基 拉宾树自动机与有限幺半群。 (英语) Zbl 0823.68064号 西奥。计算。科学。 134,第1期,第13-25页(1994年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}和\textit{A.Podelski},Theor。计算。科学。134,编号1,13--25(1994;Zbl 0823.68064) 全文: DOI程序
艾特·卡奇,哈桑;安德烈亚斯·波德尔斯基;格特·斯莫尔卡 一种包含逻辑编程的特征约束系统。 (英语) Zbl 0801.68023号 西奥。计算。科学。 122,编号1-2,263-283(1994).MSC公司:68N17号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}等人,Theor。计算。科学。122,编号1--2,263--283(1994;Zbl 0801.68023) 全文: DOI程序
范德梅登,罗恩 递归不确定数据库。 (英语) Zbl 0797.68046号 西奥。计算。科学。 116,第1期,151-194(1993).MSC公司:第68页,共15页 68N17号 PDF格式BibTeX公司 XML格式引用 \文本{R.范德梅登},Theor。计算。科学。116,第1号,151--194(1993;Zbl 0797.68046) 全文: DOI程序
安德烈亚·科拉迪尼;弗朗西丝卡·罗西 超边缘替代丛林重写用于术语重写系统和逻辑编程。 (英语) 兹比尔0781.68074 西奥。计算。科学。 109,编号1-2,7-48(1993). 审核人:A.科拉迪尼 MSC公司:2012年第68季度 68兰特 68N17号 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{F.Rossi},Theor。计算。科学。109,编号1--2,7--48(1993;Zbl 0781.68074) 全文: DOI程序
马菲·托马斯;菲尔·沃森 通过丰富签名解决Knuth–Bendix补全中的分歧。 (英语) Zbl 0779.68051号 西奥。计算。科学。 112,第1期,145-185(1993). 审核人:T.穆菲 MSC公司:2012年第68季度 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Thomas}和\textit{P.Watson},Theor。计算。科学。112,第1号,145--185(1993;Zbl 0779.68051) 全文: DOI程序
马可·贝利亚;奥奇乌托(M.Eugenia Occhiuto) C表达式:用于等式逻辑编程的无变量微积分。 (英语) Zbl 0779.68014号 西奥。计算。科学。 107,第2期,209-252(1993). 审核人:M.加布里埃利 MSC公司:68N17号 68瓦30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bellia}和\textit{M.E.Occhiuto},Theor。计算。科学。107,第2号,209--252(1993;Zbl 0779.68014) 全文: DOI程序
安德烈亚·科拉迪尼;乌戈·蒙塔纳里 结构化转换系统的代数语义及其在逻辑程序中的应用。 (英语) 兹伯利0756.68075 西奥。计算。科学。 103,第1期,第51-106页(1992年). 审核人:A.科拉迪尼 MSC公司:68问题55 18天35分 68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{U.Montanari},Theor。计算。科学。103,编号1,51--106(1992;Zbl 0756.68075) 全文: DOI程序
埃吉迪奥·阿斯泰西亚诺;亚历山德罗·吉奥维尼;吉安娜·雷吉奥 观察结构及其逻辑。 (英语) Zbl 0756.68073号 西奥。计算。科学。 96,第1期,249-283(1992). 审核人:A.佩特罗西(罗马) MSC公司:68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}等人,Theor。计算。科学。96,第1号,249--283(1992;Zbl 0756.68073) 全文: DOI程序
我·菲利彭科。;莫里斯,F.L。 用于逻辑编程的域。 (英语) Zbl 0745.68072号 西奥。计算。科学。 94,第1期,63-99(1992).MSC公司:68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Filippenko}和\textit{F.L.Morris},Theor。计算。科学。94,编号1,63--99(1992;Zbl 0745.68072) 全文: DOI程序 链接
布鲁诺·库塞尔 递归查询和无上下文图形语法。 (英语) Zbl 0716.68026号 西奥。计算。科学。 78,第1期,217-244页(1991年).MSC公司:第68页,共15页 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。78,No.1,217--244(1991;Zbl 0716.68026) 全文: DOI程序
彼得·邦曼;阿希姆·荣格;Atsushi Ohori 使用powerdomains泛化关系数据库。 (英语) Zbl 0799.68064号 西奥。计算。科学。 91,第1期,23-55页(1991年).MSC公司:第68页,共15页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Buneman}等人,Theor。计算。科学。91,编号1,23--55(1991;Zbl 0799.68064) 全文: DOI程序 链接
布鲁诺·库塞尔 图的一元二阶逻辑。五: 缩小可定义性和可识别性之间的差距。 (英语) Zbl 0754.68065号 西奥。计算。科学。 80,第2期,153-202(1991). 审核人:M.斯坦比(图尔库) MSC公司:65年第68季度 68兰特 05年3月 2012年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。80,第2号,153--202(1991;Zbl 0754.68065) 全文: DOI程序
利奥·巴赫迈尔;纳鸿·德肖维茨 重写模同余的完成。 (英语) Zbl 0686.68021号 西奥。计算。科学。 67,编号2-3,173-201(1989).MSC公司:68瓦30 68吨15 08B05号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}和\textit{N.Dershowitz},Theor。计算。科学。67,No.2--3,173--201(1989;Zbl 0686.68021) 全文: DOI程序
艾特·卡奇,哈桑 有效求解类型方程的代数语义方法。 (英语) Zbl 0628.68010号 西奥。计算。科学。 45293-351(1986年).MSC公司:60年第68季度 68吨15 68号01 PDF格式BibTeX公司 XML格式引用 \文本{H.Ait-Kaci},Theor。计算。科学。45、293--351(1986年;Zbl 0628.68010) 全文: DOI程序