×

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

最新的 引文 关联
曼弗雷德·施密特·沙乌

关于统一、包容和统一类型的注释。 （英语） Zbl 1444.68090号

Lutz，Carsten（编辑）等人，《描述逻辑、理论组合等》。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。11560, 562-572 (2019).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。11560、562--572（2019年；Zbl 1444.68090）
全文： 内政部
曼弗雷德·施密特·沙乌

语义分析的并发编程语言和方法（受邀演讲的扩展摘要）。 （英语） Zbl 1416.68030号

Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8560, 21-30 (2014).
MSC公司：68甲15 68甲18 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。8560，21-30（2014；Zbl 1416.68030）
全文： 内政部
曼弗雷德·施密特·肖斯

多项式重写的线性压缩模式匹配（扩展抽象）。 （英语） Zbl 1464.68145号

Echahed，Rachid（编辑）等人，《第七届术语和图形计算国际研讨会论文集》，TERMGRAPH 2013，意大利罗马，2013年3月23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）110、29-40（2013）。
MSC公司：2012年第68季度 68页30
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauss}，电子。程序。西奥。计算。科学。（EPTCS）110，29-40（2013年；兹bl 1464.68145）
全文： arXiv公司 链接
曼弗雷德·施密特·沙乌

压缩模式与字符变量的匹配。 （英语） Zbl 1437.68209号

Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。15, 272-287 (2012).
MSC公司：68瓦32 68页30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，LIPIcs——莱布尼茨国际程序。通知。15、272--287（2012；Zbl 1437.68209）
全文： 内政部
曼弗雷德·施密特·沙乌

letrec计算中副本的正确性。 （英语） Zbl 1203.68032号

Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。计算机科学课堂讲稿4533，329-343（2007）。
MSC公司：68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。4533，329--343（2007；Zbl 1203.68032）
全文： 内政部
曼弗雷德·施密特·沙乌

高阶统一的可判定变量。 （英语） Zbl 1098.03025号

Hutter，Dieter（编辑）等人，《数学推理的机械化》。纪念Jörg H.Siekmann 60岁生日的文章。柏林：施普林格出版社（ISBN 3-540-25051-4/pbk）。计算机科学课堂讲稿2605。人工智能课堂讲稿，154-168（2005）。
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。2605、154--168（2005年；Zbl 1098.03025）
全文： 内政部
曼弗雷德·施密特·沙乌

算术有界高阶匹配的可判定性。 （英语） Zbl 1278.68281号

Franz Baader（编辑），《自动扣除——CADE-19》。2003年7月28日至8月2日在美国佛罗里达州迈阿密海滩举行的第19届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40559-3/pbk）。莱克特。注释计算。科学。2741, 488-502 (2003).
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。2741488--502（2003年；Zbl 1278.68281）
全文： 内政部
曼弗雷德·施密特·沙乌

分层上下文统一在PSPACE中。 （英语） Zbl 0999.03008号

Fribourg，Laurent（编辑），《计算机科学逻辑》。2001年9月10日至13日，法国巴黎，第十五届国际研讨会，2001年CSL，第十届EACSL年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2142, 498-512 (2001).
MSC公司：03B35型 65年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。2142，498--512（2001；Zbl 0999.03008）
全文： 链接
曼弗雷德·施密特·沙乌

一种用于分布式统一的算法。 （英语） Zbl 1503.03020号

Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 287-301 (1996).
MSC公司：03B35型 03B25号 03C05号机组 03D40号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。1103287--301（1996年；Zbl 1503.03020）
全文： 内政部 链接
曼弗雷德·施密特·沙乌

用乘法单位在单边分配下的统一。 （英语） Zbl 0793.68140号

安德烈·沃伦科夫（编辑），《逻辑编程和自动推理》。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。698, 289-300 (1993).
MSC公司：68吨15 03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauß}，莱克特。注释计算。科学。698289-300（1993年；Zbl 0793.68140）

筛选结果依据…

文档类型

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件