×

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

名义方程统一的定点约束。 (英语) 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格式引用
全文: 内政部

两级λ-微积分。 (英语) 兹比尔1347.68051

Falaschi,Moreno(编辑),第17届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2008),意大利锡耶纳,2008年7月3日至4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记246,107-129(2009)。
MSC公司:68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(a \)-带箭头的逻辑。 (英语) Zbl 1283.03064号

Echahed,Rachid(编辑),第16届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2007),法国巴黎,2007年6月25日。精选论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记216,3-29(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段