×

找到3个文档(结果1-3)

无反射扩展等式的立方语法。 (英语) Zbl 1528.03113号

Geuvers,Herman(编辑),第四届计算和推导形式结构国际会议,FSCD 2019,德国多特蒙德,2019年6月24日至30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第31条,第25页(2019年)。
MSC公司:03B38型 03G30型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段