×

找到326个文档(结果1-100)

标称AC匹配。 (英语) Zbl 07810723号

Dubois,Catherine(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101,53-68(2023年)。
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从证明中提取总Amb程序。 (英语) Zbl 1528.68077号

谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13240, 85-113 (2022).
PDF格式BibTeX公司 XML格式引用

名义重写中的接地合流和强交换模α等价。 (英语) Zbl 07719836号

Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13572, 255-271 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SHACL:伪装的描述逻辑。 (英语) Zbl 1515.68301号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 75-88 (2022).
PDF格式BibTeX公司 XML格式引用

未排名的名义统一。 (英语) Zbl 07570784号

奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13206, 279-296 (2022).
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非双联通过等式副调制将统一和闭合结合在一起。 (英语) Zbl 07497914号

Konev,Boris(编辑)等人,《组合系统的前沿》。第十三届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8-10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12941, 25-42 (2021).
MSC公司:68泰克
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

终止非分离组合统一。 (英语) Zbl 07496644号

Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 113-130 (2021).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

与letrec和环境变量的名义统一。 (英语) Zbl 07496643号

Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。1256195-112(2021)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有原子变量的标称重写系统的汇流和交换。 (英语) Zbl 07496641号

Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 56-73 (2021).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

莫德的符号计算:一些小吃。 (英语) Zbl 07496639号

Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 3-36 (2021).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种经过认证的泛函标称C-统一算法。 (英语) Zbl 1502.68145号

Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042123-138(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过并发Haskell的MVar在pi-calculus中正确实现同步消息传递。 (英语) Zbl 07453965号

Dardha,Ornela(ed.)等人,第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录,EXPRESS/SOS 2020,在线,2020年8月31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32288-105(2020年)。
MSC公司:68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

重新审视\(\lambda \)-演算。 (英语) Zbl 1528.68054号

Geuvers,Herman(编辑),第四届计算和推导形式结构国际会议,FSCD 2019,德国多特蒙德,2019年6月24日至30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第1条,第20页(2019年)。
MSC公司:68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

受限组合统一。 (英语) Zbl 07178970号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 74-93 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过与受保护变量的统一实现标称C匹配的形式化。 (英语) Zbl 1433.68186号

Accattoli,Beniamino(编辑)等人,《逻辑和语义框架与应用第13次研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26日至28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。344, 47-65 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

原子和上下文变量的名义统一。 (英语) Zbl 1462.68026号

Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第28条,第20页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

名义方程统一的定点约束。 (英语) Zbl 1462.68089号

Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第7条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向并行布尔函数综合。 (英语) Zbl 1452.68112号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 337-353 (2017).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 (英语) Zbl 1434.03025号

Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3-9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第11条,第18页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多值关系的语法。 (英语) Zbl 1455.68195号

Carvalho,Joao Paulo(编辑)等人,知识系统中不确定性的信息处理和管理。第16届国际会议,2016年IPMU,荷兰埃因霍温,2016年6月20日至24日。诉讼程序。第二部分。查姆:斯普林格。Commun公司。计算。信息科学。611, 61-68 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

描述逻辑(mathcal{ALCP})中基于最大熵原理的概率推理。 (英语) Zbl 1366.68293号

Schockaert,Steven(编辑)等,可扩展不确定性管理。第十届国际会议,SUM 2016,法国尼斯,2016年9月21-23日。诉讼程序。查姆:施普林格(ISBN 978-3-319-45855-7/pbk;978-3-3169-45856-4/电子书)。计算机科学课程讲稿9858。人工智能课堂讲稿,246-259(2016)。
PDF格式BibTeX公司 XML格式引用

序列和上下文上的表达式的约束求解器。 (英语) Zbl 1353.68248号

Nguyen,Thanh Binh(编辑)等人,《知识工程的高级计算方法》。第四届计算机科学、应用数学和应用国际会议论文集,2016年5月2日至3日,奥地利维也纳。Cham:Springer(ISBN 978-3-319-38883-0/pbk;978-3-3169-38884-7/ebook)。《智能系统与计算进展》453115-127(2016)。
MSC公司:68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有序重写和同余闭包。 (英语) Zbl 1475.68142号

Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 493-509 (2016).
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

观察pi-calculus的成功。 (英语) Zbl 1428.68206号

Chiba,Yuki(编辑)等人,2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会,WPTE'15。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 31-46 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

句法理论层次组合中的统一与匹配。 (英语) Zbl 1471.68108号

Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322, 291-306 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

无限值哥德尔语义下表达描述逻辑中的推理。 (英语) Zbl 1471.68268号

Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322, 49-65 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

二阶统一中的正则模式。 (英语) Zbl 1465.03054号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 557-571 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

系统描述:E.T.0.1。 (英语) Zbl 1465.68286号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 389-398 (2015).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无量词方程逻辑和素数蕴涵生成。 (英语) Zbl 1465.68280号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 311-325 (2015).
MSC公司:68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于语法的树压缩。 (英语) Zbl 1434.68130号

Potapov,Igor(编辑),语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9168, 46-57 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

压缩树标准化。 (英语) 兹比尔1440.68148

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 337-349 (2015).
PDF格式BibTeX公司 XML格式引用

压缩字符串的相等性测试。 (英语) Zbl 1375.68233号

Manea,Florin(编辑)等,《单词组合学》。2015年9月14日至17日在德国基尔举行的第十届国际会议,WORDS 2015。诉讼程序。查姆:施普林格(ISBN 978-3-319-23659-9/pbk;978-3-3169-23660-5/电子书)。计算机科学课程讲稿9304,14-26(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

call-by-nead和call-by-name多态型结石的上下文等效性(初步报告)。 (英语) Zbl 1428.68113号

Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 63-74 (2014).
MSC公司:68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

像素中的结构重写。 (英语) Zbl 1428.68205号

Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 51-62 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Coq中模AC的推理策略。 (英语) Zbl 1350.68227号

Jouannaud,Jean-Pierre(编辑)等人,《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25378-2/pbk)。计算机科学课堂讲稿7086,167-182(2011)。
MSC公司:68吨15
PDF格式BibTeX公司 XML格式引用

多项式时间内压缩项的同余闭包。 (英语) Zbl 1348.68085号

Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,227-242(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件