BibTeX记录conf/scc/GrossoT10
@正在进行{DBLP:conf/scc/GrossoT10， author={Alejandro L.Grosso和 何塞·玛丽亚·图鲁尔·托雷斯}， editor={Sergio F.Ochoa和 费德里科·梅扎和 多明戈·梅里和 克劳迪奥·库比略斯}， title={变量范围超过关系的二阶逻辑 完成第一订单类型}， booktitle={{SCCC}2010年，{XXIX}国际会议记录 智利计算机科学学会，智利安托法加斯塔，11月15日至19日 2010}, 页数={270--279}， publisher={{IEEE}计算机协会}， 年份＝{2010}， url={ https://doi.org/10.109/SCCC.2010.9 }, doi={10.1109/SCCC.2010.9}， 时间戳={2023年3月23日星期四23:59:53+0100}， biburl={ https://dblp.org/rec/conf/sccc/GrossoT10.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
