塞尔吉奥·安托伊;安迪·乔斯特 在某些构造函数系统中编译折叠规则。 (英语) Zbl 1473.68042号 Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9527, 57-72 (2015).MSC公司:68号30 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{A.Jost},莱克特。注释计算。科学。9527,57-72(2015;Zbl 1473.68042) 全文: 内政部 链接
塞尔吉奥·安托伊;安迪·乔斯特 编译函数逻辑语言:公平方案. (英语) Zbl 1453.68039号 Gupta,Gopal(编辑)等,基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。8901, 202-219 (2014).MSC公司:68N20型 68甲15 68N17号 68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{A.Jost},莱克特。注释计算。科学。8901202-219(2014;Zbl 1453.68039) 全文: 内政部