@书籍{zbMATH06960602，编辑={Fischer，Bernd and Uustalu，Tarmo}，标题={计算的理论方面--{ICTAC}2018。第十五届国际学术讨论会，{Stellenbosch}，{南非}{非洲}，2018年{10月}16-19日。{会议记录}}，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={11187}，国际标准图书编号={978-3-030-02507-6；978-3-0.30-02508-3}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-02508-3}，关键词={68-06,68Qxx，00B25}，zbMATH＝{6960602}，Zbl={1398.68027}}