×

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

最新的 引文 关联
布拉姆·韦斯特班；巴斯·韦斯特班；罗格斯·库珀；坦克墨水，雕刻；雷米·维埃霍夫；亨克·巴伦德雷格特

Statman的层次定理。 （英语） Zbl 1461.03017号

日志。方法计算。科学。 13，第4号，第14号论文，39页（2017年）.
MSC公司：03B40型 03日30分
PDF格式BibTeX公司 XML格式引用
\textit{B.Westerban}等人，日志。方法计算。科学。13，第4号，第14号论文，39页（2017；Zbl 1461.03017）
全文： 内政部 arXiv公司
阿列克西·舒伯特；威尔·德克尔斯；Barendregt，Henk P。

证明搜索的自动机理论说明。 （英语） Zbl 1434.03060号

Kreutzer，Stephan（编辑），第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。41, 128-143 (2015).
MSC公司：03B40型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Schubert}等人，LIPIcs——莱布尼茨国际程序。通知。41、128——143（2015；Zbl 1434.03060）
全文： 内政部
亨克·巴伦德雷格特

从计算机验证的角度看数学基础。 （英语） Zbl 1322.03006号

彼得·保罗（编辑），《数学、计算机科学和逻辑》——一个永无止境的故事。布鲁诺-巴赫伯格节日。基于2002年10月22日在奥地利哈根堡举行的布鲁诺·巴赫伯格60岁生日会议。商会：施普林格出版社（ISBN 978-3-319-00965-0/hbk；978-3-319-00966-7/电子书）。1-49 (2013).
MSC公司：03A05号 03B15号机组 03立方厘米30 03B35型 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛H.Barendrigt｝，in：数学、计算机科学和逻辑——一个永无止境的故事。布鲁诺-巴赫伯格节日。基于2002年10月22日在奥地利哈根堡举行的布鲁诺·巴赫伯格60岁生日会议。查姆：斯普林格。1-49（2013；Zbl 1322.03006）
全文： 内政部
亨克·巴伦德雷格特；威尔·德克尔斯；理查德·斯塔特曼
[法比奥·阿莱西；马克·贝泽姆；费利斯·卡多内；马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；Gilles Dowek；西尔维娅·吉勒赞；Furio Honsell；迈克尔·穆尔特加特；波拉·塞韦利；巴威·乌尔兹琴]

具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 （英语） Zbl 1347.03001号

逻辑观点剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（ISBN 978-0-521-76614-2/hbk）。第二十二章，第833页。(2013).
审核人：莱因哈德·卡勒（里斯本）
MSC公司：03-01 03B40型 03B15号机组 03D75号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Barendregt}等人，类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（2013年；Zbl 1347.03001）
Barendregt，Henk P。

lambda演算及其语法和语义。重印1984年修订版。 （英语） Zbl 1267.03034号

逻辑研究（伦敦）40.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-066-0/pbk）。xv，621页。，E16.（2012）。
审核人：马丁·邦德（伍伦贡）
MSC公司：03B40型 03-01 03-02 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{H.P.Barendregt}，lambda演算，其语法和语义。重印1984年修订版伦敦：学院出版物（2012；Zbl 1267.03034）
西尔万·萨尔瓦蒂；朱利奥·曼佐内托；梅·盖尔克；亨克·巴伦德雷格特

Loader和Urzyczyn在逻辑上是相关的。 （英语） Zbl 1367.03032号

Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会，ICALP 2012。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-31584-8/pbk）。计算机科学课堂讲稿7392，364-376（2012）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Salvati}等人，Lect。注释计算。科学。7392、364--376（2012年；Zbl 1367.03032）
全文： 内政部 哈尔
塞萨里·卡利西克；亨克·巴伦德雷格特

关于标称Isabelle中常数的推理或如何形式化第二个不动点定理。 （英语） Zbl 1350.68239号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，87-102（2011）。
MSC公司：68吨15 03B40型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}和\textit{H.Barendregt}，莱克特。注释计算。科学。7086，87-102（2011；Zbl 1350.68239）
全文： 内政部
亨克·巴伦德雷格特；弗里克·威迪杰克

计算机数学的挑战。 （英语） Zbl 1152.03304号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理。工程科学。 363，编号1835，2351-2375（2005）.
MSC公司：03A05号 03B35型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Barendregt}和\textit{F.Wiedijk}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理。工程科学。363，编号1835，2351--2375（2005；Zbl 1152.03304）
全文： 内政部 链接
理查德·斯塔特曼；亨克·巴伦德雷格特

Böhm定理、Churchδ、数字系统和Ershov形态。 （英语） Zbl 1171.03310号

Middeldorp，Aart（编辑）等人，《过程、术语和循环：通向无限的道路上的步骤》。在简·威廉·克洛普60岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 3-540-30911-X/pbk）。计算机科学课堂讲稿3838，40-54（2005）。
MSC公司：03B40型 03D25号 03D45号
PDF格式BibTeX公司 XML格式引用
\textit{R.Statman}和\textit{H.Barendregt}，Lect。注释计算。科学。3838、40-54（2005年；Zbl 1171.03310）
全文： 内政部
亨克·巴伦德雷格特；赫尔曼·格乌弗斯

使用依赖型系统的防蚀剂。 （英语） Zbl 1005.03011号

Alan Robinson（编辑）等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；0-444-50812-0（第2卷）；0-444-50813-9（套））。1149-1238 (2001).
审核人：Manuel Ojeda Aciego（马拉加）
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Barendregt}和\textit{H.Geuvers}，in：自动推理手册。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。1149--1238（2001年；Zbl 1005.03011）
亨克·巴伦德雷格特

类型理论中的问题。 （英语） Zbl 0933.03077号

Berger，Ulrich（编辑）等人，《计算逻辑》。《北约ASI会议记录》，德国马克托伯多夫，1997年7月29日至8月10日。柏林：斯普林格。北约ASI系列。，序列号。F、 计算。系统。科学。165, 99-111 (1999).
MSC公司：35楼03号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{H.Barendregt}，北约ASI Ser。，序列号。F、 计算。系统。科学。165、99-111（1999；Zbl 0933.03077）
吉尔·巴特；马克·鲁伊斯；亨克·巴伦德雷格特

精益校对的两级方法。 （英语） Zbl 1407.68431号

Berardi，Stefano（编辑）等人，《证明和程序的类型》。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1158, 16-35 (1996).
MSC公司：68吨15 03B35型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛G.Barthe｝等人，Lect。注释计算。科学。1158、16-35（1996年；Zbl 1407.68431）
全文： 内政部 链接
亨克·巴伦德雷格特

克雷塞尔、兰姆达微积分、风车和城堡。 （英语） Zbl 0894.01007号

Odifreddi，Piergiorgio（编辑），《克里塞利亚纳：关于乔治·克里塞尔及其周围》。马萨诸塞州韦尔斯利：A K Peters。3-14 (1996).
审核人：V.佩克豪斯（爱尔兰根）
MSC公司：01A70号 03B40型 03-03
PDF格式BibTeX公司 XML格式引用
\textit｛H.Barendrigt｝，in：克雷塞利安娜：关于格奥尔格·克雷塞尔及其周围。马萨诸塞州韦尔斯利：A K Peters。3-14（1996；Zbl 0894.01007）
亨克·巴伦德雷格特

识别编码lambda术语。 （英语） 兹伯利0838.03011

Apt，Krzysztof（编辑）等人，《从普遍形态到兆字节：Baayen空间冒险》。在P.C.Baayen教授退休之际。阿姆斯特丹：CWI，141-151（1995）。
审核人：R.David（Le Bourget Du Lac）
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{H.Barendregt}，in：从通用形态到兆字节：Baayen空间冒险。在P.C.Baayen教授退休之际。阿姆斯特丹：CWI。141--151（1995；Zbl 0838.03011）
乔恩·巴韦斯（编辑）
[J·巴韦斯。；埃克洛夫，P.C。；安格斯·J·麦金太尔。；M·莫利。；凯斯勒，H.J。；K.库恩。；纽约州莫斯科市。；Troelstra，A.S。；斯特罗扬，K.D。；马克凯，M。；A.科克。；雷耶斯，G.E。；肖恩菲尔德，J.R。；杰赫·T·J。；J.P.伯吉斯。；德夫林，K.J。；鲁丁、玛丽·艾伦；伊斯坦·华什；恩德顿，H.B。；M.戴维斯。；M.O.拉宾。；辛普森，S.G。；罗德岛肖尔。；Kechris，美国。；艾泽尔，P。；Martin，医学博士。；斯莫林斯基，C。；施维希滕贝格，H。；R·斯塔特曼。；费弗曼，S。；M.P.福曼。；巴伦德雷格特，H.P。；J·巴黎。；哈灵顿，L。]

数理逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。重印。 （英语） Zbl 0528.03001号

逻辑与数学基础研究，第90卷。阿姆斯特丹-纽约-牛津：North-Holland Publishing Company。xii，1166页，39.00美元；英国国防部。90.00 (1982).
MSC公司：03-02 03B10号机组 03B25号 03B40型 03C20号 03C35号 03C70号 03立方厘米75 03日30分 03D60年 第三天65 03日70 03E05号 03E20型 03E25型 03E35号 03E45型 03E50型 03E65年 30楼03号 05年3月 65楼03号 03G30型 05年3月 54A35型
PDF格式BibTeX公司 XML格式
塞尔丁，J.P。（编辑）；辛德利，J.R。（编辑）
[塞尔丁，J.P。；J.T.卡恩斯。；M.W.邦德。；艾泽尔，P。；费弗曼，S。；吉尔摩，P.C。；惠誉，F.B。；库齐切夫（A.S.Kuzichev）。；利维，J.J。；Klop，J.W。；华兹华斯，C.P。；Böhm，C。；G·米施克。；维瑟，A。；巴伦德雷格特，H。；科曼斯，K。；朱塞佩·隆戈；桑奇斯，L.E。；普洛金，G.D。；J·兰贝克。；D.S.斯科特。；R.O.甘地。；西澳州霍华德。；J·迪勒。；D.梅雷迪斯。；R·斯塔特曼。；M.科波。；Dezani-Ciancaglini，M。；维内里，B。；波廷格，G。；德布鲁因，N.G。]

致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 （英语） Zbl 0469.03006号

伦敦等：学术出版社，Harcourt Brace Jovanovich的子公司，出版商。二十五、 606页，26.60英镑；$64.00 (1980).
MSC公司：03B40型 03-06 03-02 01A70号 03A05号 18日第15天
PDF格式BibTeX公司 XML格式
乔恩·巴韦斯（编辑）
[凯斯勒，H.J。；K.库恩。；纽约州莫斯科市。；Troelstra，A.S。；J·巴韦斯。；埃克洛夫，P.C。；安格斯·J·麦金太尔。；莫理，M。；斯特罗扬，K.D。；马克凯，M。；A.科克。；雷耶斯，G.E。；肖恩菲尔德，J.R。；杰赫·T·J。；J.P.伯吉斯。；德夫林，K.J。；鲁丁、玛丽·艾伦；伊斯坦·华什；Enderton，H.B.公司。；M.戴维斯。；M.O.拉宾。；辛普森，S.G。；肖尔，R.A。；Kechris，美国。；艾泽尔，P。；D.A.马丁。；斯莫林斯基，C。；施维希滕贝格，H。；R·斯塔特曼。；费弗曼，S。；M.P.福曼。；巴伦德雷格特，H.P。；J·巴黎。；哈灵顿，L。]

数学逻辑手册。在H.J.Keisler、K.Kunen、Y.N.Moschovakis和A.S.Troelstra的合作下。第二次打印。 （英语） Zbl 0443.03001号

逻辑与数学基础研究第90卷，阿姆斯特丹，纽约，牛津：North-Holland Publishing Company。十一、 1165页，85.00美元；英国国防部。190.00 (1978).
MSC公司：03-02 03B10号机组 03C20号 03C35号 05年3月 03C70号 03立方厘米75 03G30型 03E65年 03E20型 03E25型 03E05号 03E35号 03E45型 03E50型 54A35型 03B25号 03日30分 03D60年 第三天65 03日70 05年3月 65楼03号 03B40型 30楼03号
PDF格式BibTeX公司 XML格式

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件