@在诉讼中{kobayashi:LIPIcs.FSCD.2021.0,作者={小林,直纪},title={前面的问题,目录,序言,会议组织}},booktitle={第六届计算和演绎形式结构国际会议(FSCD 2021)},页面={0:i--0:xvi},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-191-7},ISSN={1868-8969},年份={2021},体积={195},editor={小林,直纪},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},网址={https://drops-dev.dagstuhl.de/entities/documents/10.4230/LIPIcs.FSCD.2021.0},URN={URN:nbn:de:0030-drops-142382},doi={10.4230/LPIcs.FSCD.2021.0},注释={关键词:前言、目录、前言、会议组织}}