Kei松本 相干空间和一致连续性。 （英语） Zbl 1486.03108号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 3-19 (2017).MSC公司：03楼52 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{K.松本}，莱克特。注释计算。科学。10203，3-19（2017；Zbl 1486.03108） 全文： 内政部 arXiv公司
法扎德·迪德瓦尔;加塞姆卢，卡维;马苏德普尔马迪安 RPL中的有效性，以及对连续逻辑的应用。 （英语） Zbl 1225.03056号 Ann.纯粹应用。逻辑 161，第6号，789-799（2010）.MSC公司：03D45号 03B50号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{F.Didehvar}等人，Ann.Pure Appl。逻辑161，No.6，789--799（2010；Zbl 1225.03056） 全文： 内政部 arXiv公司