×

找到53个文档（结果1-53）

最新的 引文 关联
特默尔库西亚;保罗，克莱奥

匹配和泛化模接近和容差关系。 （英语） Zbl 1530.68055号

Özgün，Aybüke（编辑）等人，《语言、逻辑和计算》。2019年9月16日至20日，格鲁吉亚巴统，第13届第比利斯国际研讨会，TbiLLC 2019。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13206, 323-342 (2022).
MSC公司：68N17号 2012年第68季度 68层37
PDF格式BibTeX公司 XML格式引用
\textit{T.Kutsia}和\textit{C.Pau}，Lect。注释计算。科学。13206、323--342（2022；Zbl 1530.68055）
全文： 内政部
杰·阿图尔

通过重新压缩（受邀演讲）解决单词方程（和其他统一问题）。 （英语） Zbl 1530.68150号

Fernández，Maribel（编辑）等人，第28届EACSL计算机科学逻辑年会，CSL 2020，西班牙巴塞罗那，2020年1月13日至16日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。152，第3条，第17页（2020年）。
MSC公司：65年第68季度 65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}，LIPIcs——莱布尼茨国际程序。通知。152，第3条，第17页（2020；Zbl 1530.68150）
全文： 内政部
杰·阿图尔

重新压缩：单词方程式和压缩数据的技术。 （英语） Zbl 1437.68098号

Lepori，Alberto（编辑）等人，《语言与自动机理论与应用》。第14届国际会议，2020年3月4日至6日，意大利米兰，LATA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12038, 44-67 (2020).
MSC公司：65年第68季度 03B25号 05年3月 68页30 70年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}，莱克特。注释计算。科学。12038，44-67（2020；Zbl 1437.68098）
全文： 内政部
杰·阿图尔

非确定线性空间中的字方程。 （英语） Zbl 1442.68094号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。80，第95条，第13页（2017年）。
MSC公司：65年第68季度 65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}，LIPIcs——莱布尼茨国际程序。通知。80，第95条，13 p.（2017；Zbl 1442.68094）
全文： 内政部 arXiv公司
马库斯·特里斯卡

SWI-Pro的布尔约束求解器（系统描述）。 （英语） Zbl 1475.68056号

Kiselyov，Oleg（编辑）等人，《功能和逻辑编程》。2016年3月4日至6日，第13届国际研讨会，FLOPS 2016，日本高知。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9613, 45-61 (2016).
MSC公司：68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
\发短信{M.Triska}，Lect。注释计算。科学。9613，45-61（2016；Zbl 1475.68056）
全文： 内政部
阿德里亚·加斯科恩;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里

二限制一上下文统一在多项式时间内。 （英语） Zbl 1373.68269号

Kreutzer，Stephan（编辑），第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-90-3）。LIPIcs–莱布尼茨国际信息学论文集41，405-422（2015）。
MSC公司：65年第68季度 03B70号 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Gascon}等人，LIPIcs——莱布尼茨国际程序。通知。41、405--422（2015；Zbl 1373.68269）
全文： 内政部
亚历山大·鲍姆加特纳;特默尔库西亚;约尔迪·利维;马图·维拉雷特

名义上的反统一。 （英语） Zbl 1366.68106号

Fernández，Maribel（编辑），第26届重写技术和应用国际会议，RTA’13，波兰华沙，2015年6月29日至7月1日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-85-9）。LIPIcs–莱布尼茨国际信息学论文集36，57-73（2015）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Baumgartner}等人，LIPIcs——莱布尼茨国际程序。通知。36、57——73（2015年；Zbl 1366.68106）
全文： 内政部
贝塔·齐利安尼;索索、马蒂厄

一种具有宇宙多态性和重载特性的Coq统一算法。 （英语） Zbl 1360.68774号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。179-191 (2015).
MSC公司：第68页第15页 68甲18 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Ziliani}和\textit{M.Sozeau}，摘自：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP'15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。179-191（2015年；Zbl 1360.68774）
全文： 内政部
杰·阿图尔

上下文统一在PSPACE中。 （英语） Zbl 1409.68150号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，第41届国际学术讨论会，ICALP 2014，丹麦哥本哈根。诉讼，第二部分。柏林：施普林格。莱克特。注释计算。科学。8573, 244-255 (2014).
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeż}，莱克特。注释计算。科学。8573、244--255（2014；Zbl 1409.68150）
全文： 内政部 arXiv公司
塞缪尔·米姆拉姆

计算二维重写系统中的关键对。 （英语） Zbl 1236.68139号

克里斯托弗·林奇（编辑），《第21届改写技术和应用国际会议论文集》（RTA 2010），2010年7月11日至13日，英国斯科特兰爱丁堡。瓦德恩：达格斯图尔宫-莱布尼茨宫（ISBN 978-3-939897-18-7）。LIPIcs–莱布尼茨国际信息学会议录6，227-242，仅电子版（2010年）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Mimram｝，LIPIC——莱布尼茨国际会议记录。通知。6227--242（2010年；Zbl 1236.68139）
全文： 内政部 链接
卡罗琳·彭斯坦·罗塞;阿隆·拉维

针对大型实际应用，在统一增强的无上下文解析器中平衡健壮性和效率。 （英语） Zbl 1001.68169号

Junqua，Jean-Claude（编辑）等人，《语言和语音技术的鲁棒性》。多德雷赫特：Kluwer学术出版社。文本-语音-语言技术。17, 239-269 (2001).
MSC公司：68T50型 68吨10
PDF格式BibTeX公司 XML格式引用
\textit{C.P.Rosé}和\textit{A.Lavie}，文本语言技术。17、239--269（2001年；Zbl 1001.68169）
Gilles Dowek

更高阶的统一和匹配。 （英语） Zbl 1011.03005号

Alan Robinson（编辑）等人，《自动推理手册》。在2卷中。阿姆斯特丹：北荷兰/爱思唯尔；0-444-50812-0（第二卷）；0-444-50813-9（套））。1009-1062 (2001).
审核人：N.Zamov（喀山）
MSC公司：03B35型 第68页第15页 03B40型 03B25号 2012年第68季度 03B15号机组 03-02 68-02 03E99型
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}，in：自动推理手册。在2卷中。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。1009--1062（2001；Zbl 1011.03005）
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。

具有两个上下文变量的上下文方程的可解性是可判定的。 （英语） Zbl 0941.68070号

Ganzinger，Harald（编辑），自动扣除-CADE-16。第十六届国际会议，意大利特伦托，1999年7月7日至10日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1632, 67-81 (1999).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，莱克特。注释计算。科学。1632、67--81（1999年；Zbl 0941.68070）
谢尔盖·沃罗比奥夫

\语境统一的方程理论是很难的。 （英语） Zbl 0912.03006号

Brim，Luboš（编辑）等人，《计算机科学的数学基础》，1998年。第23届国际研讨会，MFCS’98。1998年8月24日至28日，捷克共和国布尔诺。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1450, 597-606 (1998).
MSC公司：03B25号 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{S.Vorobyov}，莱克特。注释计算。科学。1450、597--606（1998年；Zbl 0912.03006）
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。

关于上下文方程最小解的周期性指数。 （英语） Zbl 0901.03034号

Nipkow，Tobias（编辑），重写技术和应用。第九届国际会议，RTA-98，日本筑波，1998年3月30日至4月1日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1379, 61-75 (1998).
MSC公司：2015年3月1日 2012年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，莱克特。注释计算。科学。1379，61-75（1998；Zbl 0901.03034）
约阿希姆·尼伦;曼弗雷德·平卡尔;彼得·鲁尔伯格

关于有限树上的等式向上约束、上下文统一和一步重写。 （英语） Zbl 1430.68137号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1249, 34-48 (1997).
MSC公司：2012年第68季度 03B25号 68兰特 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{J.Niehren}等人，Lect。注释计算。科学。1249，34-48（1997年；兹bl 1430.68137）
全文： 内政部 链接
温弗里德·卡尔·格拉斯曼;詹·鲍尔·特伦布雷

逻辑和离散数学。计算机科学的观点。 （英语） Zbl 0848.68003号

新泽西州上马鞍河：普伦蒂斯·霍尔。十八、750页（1996年）。
审核人：C.Meinel（特里尔）
MSC公司：68-01 68卢比
PDF格式BibTeX公司 XML格式引用
\textit{W.K.Grassmann}和\textit{J.-P.Tremblay}，逻辑和离散数学。计算机科学的观点。新泽西州上鞍河：普伦蒂斯·霍尔（1996；Zbl 0848.68003）
于加夫里连科。五、。

方程组的主解和自同构组。 （英语。俄文原件） Zbl 0728.68118号

苏联。数学。，多克。 40，第3期，529-533（1990）；Dokl翻译。阿卡德。Nauk SSSR 309，第3期，524-528（1990年）。
MSC公司：68T20型 第68页第15页 03F99型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{Yu.V.Gavrilenko}，苏联。数学。，多克。40，第3号，529--533（1990；Zbl 0728.68118）；Dokl翻译。阿卡德。Nauk SSSR 309，No.3，524--528（1990）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件