×

找到8个文档（结果1-8）

最新的 引文 关联
雅克·卡雷特;法默，威廉·M。;亚斯敏·沙罗达

利用理论陈述中包含的信息。 （英文） Zbl 1455.68255号

Benzmüller，Christoph（编辑）等人，《智能计算机数学》。2020年7月26日至31日，第13届国际会议，亚信2020，意大利贝尔蒂诺罗。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12236，55-70（2020）。
MSC公司：68版本20 08A70号 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}等人，Lect。注释计算。科学。12236，55-70（2020；Zbl 1455.68255）
全文： 内政部 arXiv公司
克里斯蒂安·多兹卡尔;Damien Pous

树宽-两个图作为自由代数。 （英文） Zbl 1512.08002号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第60条，第15页（2018年）。
MSC公司：08A70号 05C25号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Doczkal}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。117，第60条，第15页（2018；Zbl 1512.08002）
全文： 内政部
鲁道夫·伯哈默;Stucke，Insa公司;温特，迈克尔

用代数方法研究和计算两分法。 （英文） Zbl 1471.08001号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2015年9月28日至10月1日，第15届国际会议，RAMiCS 2015，葡萄牙布拉加。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9348, 257-274 (2015).
MSC公司：08A02号 03E20型 18B10型 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Berghammer}等人，Lect。注释计算。科学。9348，257--274（2015；Zbl 1471.08001）
全文： 内政部
维南西奥·卡普雷塔

类型论中的泛代数。 （英文） Zbl 0947.08001号

Bertot，Yves（编辑）等人，《高阶逻辑中的定理证明》。第12届国际会议，TPHOLs’99。1999年9月14日至17日，法国尼斯。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1690, 131-148 (1999).
审核人：M.Armbrust（科伦）
MSC公司：08A99号 68吨15 03B35型 08-04 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{V.Capretta}，莱克特。注释计算。科学。1690、131--148（1999年；Zbl 0947.08001）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件