克莱门·奥伯特;马克·巴格诺尔 统一和对数空间。 (英语) Zbl 1447.68005号 日志。方法计算。科学。 14,第3号,第6号论文,21页(2018年). 审核人:吉列尔莫·莫拉莱斯·卢纳(墨西哥城) MSC公司:2015年第68季度 03楼52 68N17号 第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{M.Bagnol},日志。方法计算。科学。14,第3号,第6号论文,21页(2018;Zbl 1447.68005) 全文: 内政部 arXiv公司
克莱门·奥伯特;马克·巴格诺尔;托马斯·塞勒 一元分辨率:表征Ptime公司. (英语) Zbl 1475.68133号 Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 373-389 (2016).MSC公司:2015年第68季度 03B70号 03楼52 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}等人,Lect。注释计算。科学。9634373-389(2016年;兹比尔1475.68133) 全文: 内政部