@书籍{zbMATH06062043，编辑={Holzer，Markus and Kutrib，Martin and Pighizini，Giovanni}，标题={特刊：形式系统的{Descriptional}复杂性（{DCFS}2011）。{2011年7月25日至27日}，{德国}{吉森}第13届国际研讨会上的论文精选，F系列={理论计算机科学}，系列={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={449}，年份={2012}，出版商＝{爱思唯尔，阿姆斯特丹}，语言={英语}，关键词={68-06,00B25,68Q19,68Q45}，zbMATH={6062043}，Zbl=｛1246.68040｝}