BibTeX记录conf/lics/NarendranPS93
@正在进行{DBLP:conf/lics/NarendranPS93, author={Paliath Narendran和 Frank Pfenning和 Richard Statman}, title={关于笛卡尔闭范畴的统一问题}, booktitle={第八届计算机科学逻辑年会论文集 {(LICS}'93),加拿大蒙特利尔,1993年6月19日至23日}, 页数={57--63}, publisher={{IEEE}计算机协会}, 年份={1993}, url={ https://doi.org/10.1109/LICS.1993.287600 }, doi={10.1109/LICS.1993.287600}, 时间戳={2023年3月24日星期五00:01:49+0100}, biburl={ https://dblp.org/rec/conf/lics/NarendranPS93.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }