×

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

在某些构造函数系统中编译折叠规则。 (英语) Zbl 1473.68042号

Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9527, 57-72 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

编译函数逻辑语言:公平方案. (英语) Zbl 1453.68039号

Gupta,Gopal(编辑)等,基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。8901, 202-219 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段