新的Dedukti重写引擎的BibTeX导出（系统描述）

复制到剪贴板 下载

@会议记录{hondet_et_al:LIPIcs.FSCD.2020.35，author={Hondet，Gabriel和Blanqui，Fr{e} d日\'{e} 里克}，title={{Dedukti}}的新重写引擎，booktitle={第五届计算和演绎形式结构国际会议（FSCD 2020）}，页数={35:1--35:16}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-155-9}，ISSN={1868-8969}，年份={2020年}，体积={167}，editor={Ariola，Zena M.}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2020.35}，URN={URN:nbn:de:0030-drops-123577}，doi={10.4230/LIPIcs.FSCD.2020.35}，annote={关键词：重写，高阶模式匹配，决策树}}

Dagstuhl Publishing在其网页上提供的元数据，以及我们网站上提供的导出格式（如XML或BibTeX），根据CC0 1.0公共域专用许可证发布。也就是说，您可以自由复制、分发、使用、修改、转换、构建，并根据我们的数据制作衍生作品，甚至用于商业目的，所有这些都未经许可。当然，如果您能为我们提供链接作为数据来源，我们将非常高兴。

请阅读完整的CC0 1.0法律法规，了解适用的确切条款：https://creativecommons.org/publicdomain/zero/1.0/legalcode