×

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

最新的 引文 关联
马丁·霍夫曼；洛伦兹·勒特盖布；大卫·奥布瓦勒；乔治·莫瑟；弗洛里安·祖勒格

对数摊销复杂度的基于类型的分析。 （英语） 兹比尔1517.68070

数学。结构。计算。科学。 32，第6号，794-826（2022）.
MSC公司：68甲18 03B38型 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}等人，《数学》。结构。计算。科学。32，编号6，794--826（2022；Zbl 1517.68070）
全文： 内政部 arXiv公司
萨宾·鲍尔；斯特芬·乔斯特；马丁·霍夫曼

无限树上的可判定不等式。 （英语） Zbl 1415.68059号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 111-130 (2018).
MSC公司：68号30 03B25号 05年3月 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Bauer}等人，EPiC Ser。计算。57、111-130（2018；Zbl 1415.68059）
全文： 内政部
塞尔达，埃尔巴图尔；马丁·霍夫曼；尤根·兹利内斯库

执行带有区域类型和效果的规划指南。 （英语） Zbl 1503.68030号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 85-104 (2017).
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{S.Erbatur}等人，Lect。注释计算。科学。10695，85-104（2017；Zbl 1503.68030）
全文： 内政部 arXiv公司
马丁·霍夫曼；杰雷米·莱登特

用于高阶模型检查的笛卡尔闭范畴。 （英语） Zbl 1460.68061号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第60条，第12页（2017）。
MSC公司：60年第68季度 18日第15天 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{J.Ledent}，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，冰岛雷克雅未克雷克雅维克大学，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第60条，第12页（2017；Zbl 1460.68061）
全文： 链接
萨宾·鲍尔；马丁·霍夫曼

可确定的线性列表约束。 （英语） Zbl 1403.68232号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，181-199（2017）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bauer}和\textit{M.Hofmann}，EPiC Ser。计算。46、181--199（2017；Zbl 1403.68232）
全文： 内政部
尼克·本顿；安德鲁·肯尼迪；马丁·霍夫曼；Vivek Nigam先生

计算成功：非确定性程序的效果和转换。 （英语） Zbl 1343.68054号

林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。《计算机科学讲义》9600，56-72（2016）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.Benton}等人，Lect。注释计算。科学。9600，56-72（2016；Zbl 1343.68054）
全文： 内政部
马丁·霍夫曼；克里斯蒂安·纽基兴；哈拉尔德街

具有获胜策略的\（\mu\）-演算认证。 （英语） Zbl 1354.68174号

博什纳奇·德拉甘（编辑）等人，《模型检查软件》。2016年4月7日至8日，第23届国际研讨会，SPIN 2016，与ETAPS 2016合办，荷兰埃因霍温。诉讼程序。查姆：施普林格（ISBN 978-3-319-32581-1/pbk；978-3-3169-32582-8/电子书）。计算机科学讲座笔记9641111-128（2016）。
MSC公司：60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}等人，Lect。注释计算。科学。9641111-128（2016年；兹bl 1354.68174）
全文： 内政部 arXiv公司
马丁·霍夫曼；乔治·莫瑟

术语重写系统的多元摊销资源分析。 （英语） Zbl 1367.68138号

Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-87-3）。LIPIcs–莱布尼茨国际信息学论文集38241-256（2015）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{G.Moser}，LIPIcs——莱布尼茨国际程序。通知。38241-256（2015年；兹bl 1367.68138）
全文： 内政部
马丁·霍夫曼

逻辑关系和不确定性。 （英语） 兹比尔1453.68048

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·维尔辛（Martin Wirsing）在2015年从编程和软件工程主席退休之际发表的论文，德国慕尼黑。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 62-74 (2015).
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。8950，62-74（2015；Zbl 1453.68048）
全文： 内政部
马丁·霍夫曼；陈伟

Büchi自动机的抽象解释。 （英语） Zbl 1401.68162号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会（ISBN 978-1-4503-2886-9）。第51号论文，第10页（2014年）。
MSC公司：65年第68季度 2015年1月6日 05年6月 68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{W.Chen}，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第51号论文，第10页（2014；Zbl 1401.68162）
全文： 内政部 链接
马丁·霍夫曼；乔治·莫瑟

摊销资源分析和类型多项式解释。 （英语） Zbl 1416.68093号

Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8560, 272-286 (2014).
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{G.莫瑟}，莱克特。注释计算。科学。8560、272--286（2014；Zbl 1416.68093）
全文： 内政部 arXiv公司
尼克·本顿；马丁·霍夫曼；Vivek Nigam先生

抽象效果和证明相关的逻辑关系。 （英语） Zbl 1284.68371号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2544-8）。619-631 (2014).
MSC公司：68问题55 60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Benton}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。619--631（2014年；Zbl 1284.68371）
全文： 内政部 arXiv公司
马丁·霍夫曼；拉米亚，拉米亚

使用固定数量的指针进行计算（受邀演讲）。 （英语） Zbl 1359.68136号

Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，3-18（2013）。
MSC公司：65年第68季度 05C40号 2005年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{R.Ramyaa}，LIPIcs——莱布尼茨国际程序。通知。24、3至18（2013年；Zbl 1359.68136）
全文： 内政部
马丁·霍夫曼；罗德里格斯，杜尔马

摊销堆空间分析的自动类型推断。 （英语） 兹比尔1381.68041

Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792，593-613（2013）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{D.罗德里格斯}，莱克特。注释计算。科学。7792、593--613（2013年；Zbl 1381.68041）
全文： 内政部
尼克·本顿；马丁·霍夫曼；Vivek Nigam先生

用于名称生成的证明相关的逻辑关系。 （英语） Zbl 1381.68047号

长谷川，Masahito（编辑），键入lambda calculi和应用。2013年6月26日至28日在荷兰埃因霍温举行的2013年TLCA第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38945-0/pbk）。计算机科学课堂讲稿7941，48-60（2013）。
MSC公司：68号30 03B70号 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.Benton}等人，Lect。注释计算。科学。7941、48-60（2013年；Zbl 1381.68047）
全文： 内政部 arXiv公司
马丁·霍夫曼；拉米亚，拉米亚；乌尔里希·舍普

纯指针程序和树同构。 （英语） Zbl 1260.68099号

Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794，321-336（2013）。
MSC公司：68号30 68第05页 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}等人，Lect。注释计算。科学。7794、321--336（2013年；Zbl 1260.68099）
全文： 内政部
安德烈·鲍尔；马丁·霍夫曼；阿列克桑德·卡比雪夫

二阶泛函的单参数性。 （英语） Zbl 1260.68071号

Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794225-240（2013）。
MSC公司：68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Bauer}等人，Lect。注释计算。科学。7794225-240（2013年；Zbl 1260.68071）
全文： 内政部
斯蒂芬·巴特；马丁·霍夫曼

通过SAT学习最小化Büchi自动机。 （英语） Zbl 1459.68094号

Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，71-84（2012）。
MSC公司：65年第68季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit｛S.Barth｝和\textit｛M.Hofmann｝，Electron。程序。西奥。计算。科学。（EPTCS）96，71--84（2012；Zbl 1459.68094）
全文： arXiv公司 链接
马丁·霍夫曼；本杰明·皮尔斯；丹尼尔·瓦格纳

编辑镜头。 （英语） Zbl 1321.68154号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。495-508 (2012).
MSC公司：68甲18 68甲19 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}等人，in：第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。495-508（2012年；Zbl 1321.68154）
全文： 内政部
马丁·霍夫曼；罗德里格斯，杜尔马

无限树上的线性约束。 （英语） Zbl 1352.68053号

Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180343-358（2012）。
MSC公司：68甲19 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{D.罗德里格斯}，莱克特。注释计算。科学。7180343--358（2012；Zbl 1352.68053）
全文： 内政部
马丁·霍夫曼；本杰明·皮尔斯；丹尼尔·瓦格纳

对称透镜。 （英语） Zbl 1284.18009号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。371-384 (2011).
MSC公司：18立方厘米 08A70号 68N99型 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。371-384（2011；Zbl 1284.18009）
全文： 内政部
简·霍夫曼；克劳斯·埃利格；马丁·霍夫曼

多元摊销资源分析。 （英语） Zbl 1284.68132号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。357-370 (2011).
MSC公司：68甲18 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoffmann}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。357--370（2011年；Zbl 1284.68132）
全文： 内政部
马丁·霍夫曼；马丁·兰格

自动机理论和逻辑。（自动化理论与逻辑） （德语） Zbl 1257.68003号

eXamen.新闻。柏林：施普林格出版社（ISBN 978-3-642-18089-7/pbk；978-3-442-18090-3/电子书）。x、 240页。(2011).
审核人：Klaus D.Kiermeier（柏林）
MSC公司：68-01 68-02 03-01 03B25号 03B44号 03B70号 05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{M.Lange}，《自动化与逻辑》。柏林：施普林格出版社（2011；Zbl 1257.68003）
全文： 内政部
斯特芬·乔斯特；凯文·哈蒙德；汉斯·沃夫冈·洛伊德；马丁·霍夫曼

高阶程序定量资源使用的静态确定。 （英语） Zbl 1312.68039号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-479-9）。223-236 (2010).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛S.Jost｝等人，在：第37届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。223--236（2010；Zbl 1312.68039）
全文： 内政部
伦纳特·贝林格；罗伯特·格拉博夫斯基；马丁·霍夫曼

使用区域类型系统验证指针和字符串分析。 （英语） Zbl 1253.68092号

Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学课堂讲稿6355。人工智能课堂讲稿，82-102（2010）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Beringer}等人，Lect。注释计算。科学。6355，82-102（2010；Zbl 1253.68092）
全文： 内政部
马丁·霍夫曼；阿列克桑德·卡比雪夫；赫尔穆特·塞德尔

在Coq中验证局部泛型解算器。 （英语） Zbl 1306.68029号

Cousot，Radhia（编辑）等人，《静态分析》。2010年9月14日至16日，第17届国际研讨会，SAS 2010，法国佩皮尼昂。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15768-4/pbk）。计算机科学课堂讲稿6337340-355（2010）。
MSC公司：68号30 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}等人，Lect。注释计算。科学。6337340-355（2010年；Zbl 1306.68029）
全文： 内政部
马丁·霍夫曼；阿列克桑德·卡比雪夫；赫尔穆特·塞德尔

什么是纯函数？ （英语） Zbl 1288.68037号

Abramsky，Samson（编辑）等人，《自动化，语言和编程》。第37届国际学术讨论会，ICALP 2010，波尔多，法国，2010年7月6日至10日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14161-4/pbk）。计算机科学讲义6199199-210（2010）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}等人，Lect。注释计算。科学。6199、199--210（2010年；Zbl 1288.68037）
全文： 内政部
简·霍夫曼；马丁·霍夫曼

多项式潜力摊销资源分析。函数程序多项式界的静态推断。 （英语） Zbl 1260.68074号

Andrew D.Gordon（编辑），《编程语言和系统》。第19届欧洲编程研讨会，ESOP 2010，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2010，塞浦路斯帕福斯，2010年3月20日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。计算机科学课堂讲稿6012287-306（2010）。
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛J.Hoffmann｝和\textit｛M.Hofmann｝，Lect。注释计算。科学。6012、287--306（2010年；Zbl 1260.68074）
全文： 内政部
马丁·霍夫曼；罗德里格斯，杜尔马

摊销堆空间分析的高效类型检查。 （英语） Zbl 1257.68051号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。《计算机科学讲义》5771、317-331（2009）。
MSC公司：68甲19 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{D.罗德里格斯}，莱克特。注释计算。科学。5771、317--331（2009年；Zbl 1257.68051）
全文： 内政部
乌戈·达尔拉戈；马丁·霍夫曼

有界线性逻辑，重新审视。 （英语） Zbl 1211.03089号

Curien，Pierre-Louis（编辑），《lambda计算类型和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02272-2/pbk）。计算机科学课堂讲稿5608，80-94（2009）。
MSC公司：03楼52
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}和\textit{M.Hofmann}，莱克特。注释计算。科学。5608、80-94（2009年；Zbl 1211.03089）
全文： 内政部 arXiv公司
伦纳特·贝林格；马丁·霍夫曼；玛丽埃拉·巴夫洛娃

使用Mobius基本逻辑进行认证。 （英语） 兹比尔1209.68121

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-92187-5/pbk）。计算机科学课堂讲稿538225-51（2008）。
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{L.Beringer}等人，Lect。注释计算。科学。5382，25-51（2008；Zbl 1209.68121）
全文： 内政部
默多克·J·加贝。；马丁·霍夫曼

标称重命名集。 （英语） Zbl 1182.03065号

Cervesato，Iliano（编辑）等人，《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89438-4/pbk）。计算机科学课堂讲稿5330。人工智能课堂讲稿，158-173（2008）。
MSC公司：03B70号 03G30型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.J.Gabbay}和\textit{M.Hofmann}，莱克特。注释计算。科学。5330、158--173（2008年；Zbl 1182.03065）
全文： 内政部
马丁·霍夫曼；乌尔里希·舍普

带迭代的纯指针程序。 （英语） Zbl 1156.68612号

迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，79-93（2008）。
MSC公司：68周05 68号30 19年第68季度 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{U.Schöpp}，莱克特。注释计算。科学。5213，79-93（2008年；兹比尔1156.68612）
全文： 内政部
乌戈·达尔·拉戈；马丁·霍夫曼

光仿射逻辑多重时间合理性的语义证明。 （英语） Zbl 1142.68360号

爱德华·赫施（Edward A.Hirsch）等，《计算机科学——理论与应用》。在俄罗斯举行的第三届国际计算机科学研讨会，2008年6月7日至12日，俄罗斯莫斯科。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79708-1/pbk）。计算机科学课程讲稿5010，134-145（2008）。
MSC公司：2015年第68季度 03楼52 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{U.D.Lago}和\textit{M.Hofmann}，莱克特。注释计算。科学。5010、134--145（2008年；Zbl 1142.68360）
全文： 内政部
长谷川、Masahito；马丁·霍夫曼；戈登·普洛金

有限维向量空间对于追踪对称单体范畴是完备的。 （英语） Zbl 1134.18003号

Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，367-385（2008）。
MSC公司：18日第10天 18立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.长谷川}等人，Lect。注释计算。科学。4800、367--385（2008；Zbl 1134.18003）
全文： 内政部 链接
伦纳特·贝林格；马丁·霍夫曼

JML和类型的字节码逻辑。 （英语） Zbl 1168.68357号

Naoki Kobayashi（编辑），《编程语言和系统》。第四届亚洲研讨会，2006年APLAS，2006年11月8日至10日，澳大利亚悉尼。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48937-5/pbk）。计算机科学课堂讲稿4279389-405（2006）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Beringer}和\textit{M.Hofmann}，莱克特。注释计算。科学。4279、389--405（2006年；Zbl 1168.68357）
全文： 内政部
尼克·本顿；安德鲁·肯尼迪；马丁·霍夫曼；伦纳特·贝林格

阅读、写作和关系。面向效果分析的扩展语义。 （英语） Zbl 1168.68356号

Naoki Kobayashi（编辑），《编程语言和系统》。第四届亚洲研讨会，2006年APLAS，2006年11月8日至10日，澳大利亚悉尼。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48937-5/pbk）。计算机科学课堂讲稿4279114-130（2006）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛N.Benton｝等人，Lect。注释计算。科学。4279、114--130（2006年；Zbl 1168.68356）
全文： 内政部
达克斯，基督徒；马丁·霍夫曼；马丁·兰格

线性时间微积分的一个证明系统。 （英语） Zbl 1163.03308号

Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337，273-284（2006）。
MSC公司：03B44号 03B25号 03B70号 05年3月 20层03 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Dax}等人，Lect。注释计算。科学。4337273--284（2006年；Zbl 1163.03308）
全文： 内政部
马丁·霍夫曼；斯特芬·乔斯特

基于类型的摊销堆空间分析。 （英语） Zbl 1178.68143号

Peter Sestoft（编辑），《编程语言和系统》。2006年3月27日至28日在奥地利维也纳举行的第15届欧洲编程研讨会（ESOP 2006），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33095-X/pbk）。计算机科学课堂讲稿3924，22-37（2006）。
MSC公司：68甲19 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{S.约斯特}，莱克特。注释计算。科学。3924、22-37（2006年；Zbl 1178.68143）
全文： 内政部
乌戈·达尔拉戈；马丁·霍夫曼

定量模型和隐含复杂性。 （英语） Zbl 1172.68477号

Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821189-200（2005）。
MSC公司：2015年第68季度 03B70号 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}和\textit{M.Hofmann}，莱克特。注释计算。科学。3821189-200（2005年；Zbl 1172.68477）
全文： 内政部
伦纳特·贝林格；马丁·霍夫曼；阿尔贝托·莫米利亚诺；奥哈·什卡拉夫斯卡

堆消耗的自动认证。 （英语） Zbl 1108.68374号

Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，347-362（2005）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Beringer}等人，Lect。注释计算。科学。3452347--362（2005年；Zbl 1108.68374）
全文： 内政部
马丁·霍夫曼

程序逻辑和类型系统有什么共同点？ （英语） Zbl 1098.68548号

Díaz，Josep（编辑）等人，《自动化、语言和编程》。2004年7月12日至16日，芬兰图尔库，第31届国际学术讨论会，ICALP 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22849-7/pbk）。计算机科学讲义3142，4-7（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。3142，4--7（2004；Zbl 1098.68548）
全文： 内政部
大卫·阿斯皮纳尔；伦纳特·贝林格；马丁·霍夫曼；汉斯·沃夫冈·洛伊德；阿尔贝托·莫米利亚诺

用于资源验证的程序逻辑。 （英语） Zbl 1099.68584号

Slind，Konrad（编辑）等人，《高阶逻辑中的定理证明》。第17届国际会议，TPHOLs 2004，美国犹他州帕克城，2004年9月14-17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23017-3/pbk）。计算机科学课堂讲稿322334-49（2004）。
MSC公司：68号30 03B70号 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Aspinall}等人，Lect。注释计算。科学。3223、34-49（2004年；Zbl 1099.68584）
全文： 内政部
马丁·霍夫曼；斯特芬·乔斯特

一阶函数程序堆空间使用的静态预测。 （英语） Zbl 1321.68180号

第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2003年1月15日至17日，美国洛杉矶新奥尔良，POPL'03。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-628-5）。185-197年（2003年）。
MSC公司：第68页第20页 68甲18 68页第10页 2017年第68季度 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{S.Jost}，摘自：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'03，美国洛杉矶新奥尔良，2003年1月15-17日。纽约州纽约市：计算机协会（ACM）。185-197（2003年；Zbl 1321.68180）
全文： 内政部
马丁·霍夫曼

非尺寸递增计算的强度。 （英语） Zbl 1323.68213号

2002年1月16日至18日，美国俄勒冈州波特兰市POPL'02，第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-450-9）。260-269 (2002).
MSC公司：68号30 2005年第68季度 19年第68季度 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}，in：第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'02，波特兰，俄勒冈州，美国，2002年1月16-18日。纽约州纽约市：计算机协会（ACM）。260-269（2002年；Zbl 1323.68213）
全文： 内政部
大卫·阿斯皮纳尔；马丁·霍夫曼

用于就地更新的另一种类型系统。 （英语） Zbl 1077.68565号

Le Métayer，Daniel（编辑），《编程语言和系统》。2002年4月8日至12日，在法国格勒诺布尔举行的第11届欧洲编程研讨会，ESOP 2002，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43363-5）。莱克特。注释计算。科学。2305, 36-52 (2002).
MSC公司：68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Aspinall}和\textit{M.Hofmann}，莱克特。注释计算。科学。2305，36-52（2002年；兹bl 1077.68565）
全文： 链接
马丁·霍夫曼

不断增加的计算能力（介绍和总结）。 （英语） Zbl 0999.68514号

Sgall，Jiří（编辑）等人，《2001年计算机科学的数学基础》。第26届国际研讨会，2001年MFCS，2001年8月27日至31日，捷克共和国MariánskéLázně。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2136, 58-61 (2001).
MSC公司：2017年第68季度 2015年3月1日 03C13号机组 2015年第68季度 68问题55 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。2136、58-61（2001年；Zbl 0999.68514）
全文： 链接
马丁·霍夫曼；唐，弗朗西斯

在高阶逻辑定理证明器中实现对象的程序逻辑。 （英语） Zbl 0974.68185号

Aagaard，Mark（编辑）等人，《高阶逻辑中的定理证明》。2000年8月14日至18日在美国俄勒冈州波特兰举行的第13届TPHOLs 2000国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1869268-282（2000年）。
MSC公司：68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{F.唐}，莱克特。注释计算。科学。1869268-282（2000年；Zbl 0974.68185）
马丁·霍夫曼

用于有界空间和函数就地更新的类型系统。（扩展摘要）。 （英语） Zbl 0964.68027号

Gerd Smolka（编辑），《编程语言和系统》。第九届欧洲规划研讨会，ESOP 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1782, 165-179 (2000).
MSC公司：第68页第20页 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。1782165-179（2000；Zbl 0964.68027）
马丁·霍夫曼；托马斯·斯特里彻

类型理论的群系解释。 （英语） Zbl 0930.03089号

Sambin，Giovanni（编辑）等人，《建构主义类型理论的二十五年》。会议记录，意大利威尼斯，1995年10月19日至21日。牛津：克拉伦登出版社。牛津大学。逻辑指南。36, 83-111 (1998).
MSC公司：35楼03号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hofmann}和\textit{T.Streicher}，in：二十五年的建构主义类型理论。会议记录，意大利威尼斯，1995年10月19日至21日。牛津：克拉伦登出版社。83-111（1998年；Zbl 0930.03089）
马丁·霍夫曼

混合模式/线性lambda演算及其在Bellantoni-Cook安全递归中的应用。 （英语） Zbl 0908.03022号

尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1414, 275-294 (1998).
MSC公司：03B40型 03B45号
PDF格式BibTeX公司 XML格式引用
\发短信{M.Hofmann}，Lect。注释计算。科学。1414275-294（1998年；Zbl 0908.03022）
马丁·霍夫曼

内涵类型理论中的外延结构。 （英语） Zbl 1411.03001号

杰出论文伦敦：Springer；爱丁堡：爱丁堡大学，计算机科学基础实验室（LFCS）（Diss.1996）（ISBN 978-1-4471-1243-3/pbk；978-1-447 1-0963-1/电子书）。xii，第214页。(1997).
MSC公司：03-02 03B15号机组 03B70号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\文本{M.霍夫曼}，内涵类型理论中的外延结构。伦敦：施普林格；爱丁堡：爱丁堡大学计算机科学基础实验室（LFCS）（Diss.1996）（1997；Zbl 1411.03001）
全文： 内政部
马丁·霍夫曼

对内涵型理论的平等反思的保守性。 （英语） Zbl 1434.03038号

Berardi，Stefano（编辑）等人，《证明和程序的类型》。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1158, 153-164 (1996).
MSC公司：03B38型
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。1158153-164（1996年；Zbl 1434.03038）
全文： 内政部
托尔斯滕·阿滕柯奇；马丁·霍夫曼；托马斯·斯特里彻

对无还原标准化证明。 （英语） Zbl 1502.03019号

大卫·皮特（编辑）等人，《范畴理论与计算机科学》。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。953, 182-199 (1995).
MSC公司：05年3月 03B40型 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Altenkirch}等人，Lect。注释计算。科学。953182-199（1995年；Zbl 1502.03019）
全文： 内政部
马丁·霍夫曼；唐纳德·桑内拉

关于高阶逻辑中的行为抽象和行为满足。 （英语） Zbl 1496.68190号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 247-261 (1995).
MSC公司：60年第68季度 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}和\textit{D.Sannella}，莱克特。注释计算。科学。915247--261（1995年；Zbl 1496.68190）
全文： 内政部
马丁·霍夫曼

商类型的简单模型。 （英语） Zbl 1063.68602号

Dezani-Ciancaglini，Mariangiola（编辑）等人，《类型lambda计算和应用》。1995年4月10日至12日，英国爱丁堡，1995年TLCA第二届国际会议。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-59048-X）。莱克特。注释计算。科学。902, 216-234 (1995).
MSC公司：60年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。902、216——234（1995年；Zbl 1063.68602）
马丁·霍夫曼

关于局部笛卡尔闭范畴中类型理论的解释。 （英语） 兹比尔1044.03544

Leszek（编辑）等，《计算机科学逻辑》。1994年9月25日至30日，波兰卡齐米尔兹CSL’94第八次研讨会。精选论文。柏林：Springer-Verlag（ISBN 3-540-60017-5）。莱克特。注释计算。科学。933, 427-441 (1995).
MSC公司：03G30型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。933427-441（1995年；Zbl 1044.03544）
马丁·霍夫曼

Martin-Löf型理论中可拓性的消除。 （英语） Zbl 1527.03009号

Barendregt，Henk（编辑）等人，《93年类型》。校样和程序的类型。国际研讨会，荷兰奈梅亨，1993年5月24日至28日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。806, 166-190 (1994).
MSC公司：03B38型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.霍夫曼}，莱克特。注释计算。科学。806166--190（1994年；Zbl 1527.03009）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件