@书籍{zbMATH07255743，编辑={Mu{\~n}oz-Velasco，Emilio和Ozaki，Ana和Theobald，Martin}，第27届时间表征与推理国际研讨会。2020年9月23日至25日，{博赞}-{博尔扎诺}，{意大利}。{会议记录}}，FSeries={LIPIcs--Leibniz国际信息学论文集}，Series={LIPIcs--Leibniz Int.Proc.Inform.}，ISSN={1868-8969}，体积={178}，国际标准图书编号={978-3-95977-167-2}，年份={2020年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.TIME.2020.0}，关键词={68-06,03B44,68Q60,68T27,00B25}，URL={drops.dagstuhl.de/opus/volltexte/2020/12967/pdf/lipics-vol178-time2020-complete.pdf}，zbMATH={7255743}，Zbl={1443.68018}}