×

找到6个文档(结果1-6)

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

Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13572, 255-271 (2022).
MSC公司:68季度xx
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 1462.68026号

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

筛选结果依据…

文档类型

出版年份

主字段