×

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

最新 引文 关联
曼弗雷德·施密特·沙乌;尤努斯·库茨

与letrec和环境变量的名义统一。 （英语） Zbl 07496643号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 95-112 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛M.Schmidt Schauß｝和\textit｛Y.Kutz｝，Lect。注释计算。科学。12561，95-112（2021；Zbl 07496643）
全文： 内政部
马库斯·洛伊

基于语法的树压缩。 （英语） Zbl 1434.68130号

Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9168, 46-57 (2015).
MSC公司：68第05页 68页30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lohrey}，莱克特。注释计算。科学。9168、46-57（2015年；Zbl 1434.68130）
全文： 内政部 链接
曼弗雷德·施密特·肖斯;大卫·萨贝尔;阿尼斯，阿尔图

多项式时间内压缩项的同余闭包。 （英语） Zbl 1348.68085号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，227-242（2011）。
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauss}等人，Lect。注释计算。科学。6989、227--242（2011；Zbl 1348.68085）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件