Jean-Marie,马迪奥;Damien Pous;戴维·桑吉奥吉 通过一阶转换系统实现高阶语言的模块化共归纳。 (英语) Zbl 07407797号 日志。方法计算。科学。 17,第3号,第25号论文,39页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.M.Madiot}等人,日志。方法计算。科学。17,第3号,第25号文件,第39页(2021;Zbl 07407797) 全文: arXiv公司 链接
田,春;戴维·桑吉奥吉 收缩、CCS及其HOL形式化的独特解决方案。 (英语) Zbl 1496.68250号 Inf.计算。 275,文章ID 104606,第33页(2020).MSC公司:68问题85 68伏15 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{D.Sangiorgi},信息计算。275,文章ID 104606,33 p.(2020;Zbl 1496.68250) 全文: 内政部 arXiv公司
田,春;戴维·桑吉奥吉 收缩、CCS及其HOL形式化的独特解决方案。 (英语) Zbl 1525.68086号 Pérez,Jorge A.(编辑)等,第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集,EXPRESS/SOS 2018,中国北京,2018年9月3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)276122-139(2018)。MSC公司:68问题85 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{D.Sangiorgi},电子。程序。西奥。计算。科学。(EPTCS)276122--139(2018;Zbl 1525.68086) 全文: 链接