卢茨斯特拉汉堡 证明身份的问题,以及为什么计算机科学家应该关心希尔伯特的第24个问题。 (英语) 兹比尔1436.03293 菲洛斯。事务处理。英国皇家学会。,A、 数学。物理学。工程科学。 377,No.2140,文章ID 20180038,14 p.(2019).MSC公司:03财年03 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Straßburger},菲洛斯。事务处理。英国皇家学会。,A、 数学。物理学。工程科学。377,第2140号,文章ID 20180038,14页(2019;Zbl 1436.03293) 全文: DOI程序
卢茨斯特拉汉堡 组合流及其归一化。 (英语) Zbl 1434.03128号 Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3-9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第31条,第17页(2017年)。MSC公司:05年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Straßburger},LIPIcs——莱布尼茨国际程序。通知。84,第31条,第17页(2017;Zbl 1434.03128) 全文: DOI程序