BibTeX记录conf/icalp/BenaimBCKLMW13
@正在处理{DBLP:conf/icalp/BenaimBCKLMW13， author={Saguy Benaim和 Michael Benedikt和 Witold Charatonik和 伊曼纽尔·基伦斯基和 拉斯蒂斯拉夫·伦哈特和 菲利普·马佐维耶基和 詹姆斯·沃雷尔}， editor={Fedor V.Fomin和 Rusins Freivalds和 Marta Z.Kwiatkowska和 David Peleg}， title={有限树上二元逻辑的复杂性}， booktitle={自动化、语言和编程——第40届国际学术讨论会， {ICALP}2013，拉脱维亚里加，2013年7月8日至12日，会议记录，第{II}}部分， series={计算机科学讲稿}， 体积={7966}， 页数={74--88}， publisher={Springer}， 年份={2013}， url={ https://doi.org/10.1007/978-3-642-39212-2 \_10}, doi={10.1007/978-3642-39212-2\_10}， 时间戳={2019年9月16日星期一15:32:57+0200}， biburl={ https://dblp.org/rec/conf/icalp/BenaimBCKLMW13.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
