特默尔库西亚;马林·米尔恰 正则表达式顺序排序的统一和匹配。 (英语) Zbl 1456.68073号 J.塞姆。计算。 67, 42-67 (2015).MSC公司:2012年第68季度 2017年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}和\textit{M.Marin},J.Symb。计算。67、42-67(2015年;Zbl 1456.68073) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 一种模序分类方程泛化算法。 (英语) 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) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达 有序概括。 (英语) Zbl 1347.68193号 Falaschi,Moreno(编辑),第17届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2008),意大利锡耶纳,2008年7月3日至4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记246,27-38(2009)。MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《电子》。理论注释。计算。科学。24627--38(2009年;Zbl 1347.68193) 全文: 内政部
汉斯·尤根·伯克特 约束逻辑的解决原则。 (英语) Zbl 0807.68082号 Artif公司。智力。 66,第2期,235-271(1994).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \文本{H.-J.Bürckert},Artif。智力。66,No.2,235--271(1994;Zbl 0807.68082) 全文: 内政部
弗朗索瓦斯·德巴特;帕特里斯·恩贾伯特;马德琳·莱斯科特 使用等式逻辑和顺序逻辑的多模态逻辑编程。 (英语) Zbl 0756.68090号 西奥。计算。科学。 105,第1期,第141-166页(1992年). 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:第68页第15页 68N17号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Debart}等人,Theor。计算。科学。105,第1号,141--166(1992;Zbl 0756.68090) 全文: 内政部
约翰·斯泰尔。 唯一排序有序理论:描述为单子态射。 (英语) Zbl 1507.68177号 Kaplan,Stéphane(编辑)等,条件重写和类型重写系统。第二届国际CTRS研讨会,加拿大蒙特利尔,1990年6月11-14日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。516, 389-400 (1991).MSC公司:68问题55 08A70号 18立方厘米 2012年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Stell},莱克特。注释计算。科学。516389——400(1991年;Zbl 1507.68177) 全文: 内政部
弗朗索瓦斯·德巴特;帕特里斯·恩贾伯特;马德琳·莱斯科特 使用等式逻辑和顺序逻辑的多模逻辑编程。 (英语) Zbl 1494.68041号 Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 55-69 (1990).MSC公司:68N17号 03B45号 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Debart}等人,Lect。注释计算。科学。463、55--69(1990年;Zbl 1494.68041) 全文: 内政部
伊莎贝·格尼迪格;克洛德·基什内尔;Hélène基什内尔 有序代数中的等式完备。 (英语) Zbl 0698.68028号 西奥。计算。科学。 72,第2-3号,169-202(1990).MSC公司:第68季度第65季度 03年3月 08B05号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.Gneedig}等人,Theor。计算。科学。72,编号2--3,169--202(1990;Zbl 0698.68028) 全文: 内政部
汉斯·尤根·伯克特 匹配-统一的特例? (英语) Zbl 0691.03004号 J.塞姆。计算。 8,第5期,523-536(1989). 审核人:N.扎莫夫 MSC公司:03B35型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \文本{H.-J.Bürckert},J.Symb。计算。8,第5号,523--536(1989;Zbl 0691.03004) 全文: 内政部
何塞·梅塞盖尔;约瑟夫·戈根(Joseph A.Goguen)。;格特·斯莫尔卡 有序统一。 (英语) Zbl 0691.0302号 J.塞姆。计算。 8,第4期,383-413(1989). 审核人:C.Masalagiu MSC公司:03B35型 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,J.Symb。计算。8,第4号,383--413(1989;Zbl 0691.0302) 全文: 内政部