×

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

最新的 引文 关联
巴特·雅各布斯

木棒断裂，在余代数和概率中。 （英语） Zbl 07628072号

Hansen，Helle Hvid（编辑）等人，计算机科学中的代数方法。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13225, 176-193 (2022).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，莱克特。注释计算。科学。13225、176--193（2022；Zbl 07628072）
全文： 内政部
巴特·雅各布斯;萨姆·斯塔顿

De Finetti将其解释为一个绝对极限。 （英语） Zbl 07314150号

Petrišan，Daniela（编辑）等人，《计算机科学中的协代数方法》。第15届IFIP工作组1.3国际研讨会，CMCS 2020，与ETAPS 2020共同举办，爱尔兰都柏林，2020年4月25日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12094, 90-111 (2020).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}和\textit{S.Staton}，莱克特。注释计算。科学。12094、90-111（2020；Zbl 07314150）
全文： 内政部 arXiv公司
巴特·雅各布斯;戴维·斯普伦格

神经网络通过正向状态变换和反向损失变换。 （英语） Zbl 07515959号

Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。347, 161-177 (2019).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛B.Jacobs｝和\textit｛D.Sprunger｝，电子。理论注释。计算。科学。347，161--177（2019；Zbl 07515959）
全文： 内政部 arXiv公司
巴特·雅各布斯

通过渠道学习：期望最大化的期望部分。 （英语） Zbl 07515958号

Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。347, 143-160 (2019).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，电子。理论注释。计算。科学。347，143-160（2019；Zbl 07515958）
全文： 内政部
罗宾·亚当斯;巴特·雅各布斯

概率和贝叶斯推理的类型理论。 （英语） 兹比尔1433.68264

Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。69，第1条，第34页（2018年）。
MSC公司：第68季度87 03B70号 2015年1月62日 68号30 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{R.Adams}和\textit{B.Jacobs}，LIPIcs——莱布尼茨国际程序。通知。69，第1条，第34页（2018；Zbl 1433.68264）
全文： 内政部 arXiv公司
巴特·雅各布斯

余代数简介。走向状态和观察的数学。 （英语） Zbl 1364.68001号

剑桥理论计算机科学丛书59.剑桥：剑桥大学出版社（ISBN 978-1-107-17789-5/hbk；978-1-316-82318-7/电子书）。十六、477页。(2017).
审核人：Ernst-Erich Doberkat（多特蒙德）
MSC公司：68-01 68问题65 03B45 68问题85 18立方厘米 18个C20 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，余代数简介。走向状态和观察的数学。剑桥：剑桥大学出版社（2017；Zbl 1364.68001）
全文： 内政部
日野、瓦塔鲁;小林，弘基;一郎·哈索;巴特·雅各布斯

二元性带来的健康。 （英语） Zbl 1401.68042号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。682-691 (2016).
MSC公司：68号30 03B70号 18A40型 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{W.Hino}等人，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。682--691（2016；Zbl 1401.68042）
全文： 内政部 arXiv公司 链接
巴特·雅各布斯

状态和效果三角形的配方。 （英语） Zbl 1366.68025号

Moss，Lawrence S.（编辑）等人，第六届计算机科学代数和余代数会议，CALCO’15，荷兰奈梅亨，2015年6月24-26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-84-2）。LIPIcs–莱布尼茨国际信息学论文集35111-129（2015）。
MSC公司：68号30 18A40型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，LIPIcs——莱布尼茨国际程序。通知。35116-129（2015；Zbl 1366.68025）
全文： 内政部 arXiv公司
巴特·雅各布斯

单子计算中的Dijkstra单子。 （英语） Zbl 1331.68052号

Bonsange，M.（编辑），计算机科学中的协代数方法。2014年4月5日至6日，第12届IFIP工作组1.3国际研讨会，CMCS 2014，与ETAPS 2014合办，法国格勒诺布尔。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-662-44123-7/pbk；978-3-562-44124-4/电子书）。计算机科学课堂讲稿8446135-150（2014）。
MSC公司：68号30 18立方厘米 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，莱克特。注释计算。科学。8446，135-150（2014；Zbl 1331.68052）
全文： 内政部
巴特·雅各布斯（编辑）;亚历山德拉·席尔瓦（编辑）;萨姆·斯塔顿（编辑）

2014年6月12日至15日，美国纽约州伊萨卡市，第30届编程语义数学基础会议论文集（MFPS XXX）。 （英语） Zbl 1310.68012号

理论计算机科学电子笔记308.阿姆斯特丹：爱思唯尔。327页。，仅电子版（2014年）。
MSC公司：68-06 68号30 68问题55 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}（ed.）等人，第30届编程语义数学基础会议论文集（MFPS XXX），美国纽约州伊萨卡，2014年6月12-15日。阿姆斯特丹：爱思唯尔（2014；兹bl 1310.68012）
全文： 链接
巴特·雅各布斯;简·拉特

代数和归纳法导论。 （英语） Zbl 1285.68105号

Sangiorgi，Davide（编辑）等，互模拟和共创高级主题。剑桥：剑桥大学出版社（ISBN 978-1-107-00497-9/hbk）。《剑桥理论计算机科学丛书》52，38-99（2012）。
MSC公司：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}和\textit{J.Rutten}，Camb。拖拉机Theor。计算。科学。52、38——99（2012；Zbl 1285.68105）
全文： 内政部
罗伯特·艾奇;尼尔·加尼;巴特·雅各布斯;帕特里夏·约翰

纤维诱导符合效果。 （英语） Zbl 1352.68169号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，42-57（2012）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Atkey}等人，Lect。注释计算。科学。7213，42-57（2012；Zbl 1352.68169）
全文： 内政部 链接
巴特·雅各布斯

量子和图灵计算中的余代数行走。 （英语） Zbl 1326.68192号

马丁·霍夫曼（编辑），《软件科学和计算结构基础》。2011年3月26日至4月3日，作为欧洲软件理论与实践联合会议的一部分，在德国萨尔布吕肯举行的第14届国际会议，FOSSACS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19804-5/pbk）。计算机科学讲座笔记6604，12-26（2011）。
MSC公司：68问题65 2005年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，莱克特。注释计算。科学。6604，12-26（2011；Zbl 1326.68192）
全文： 内政部
一郎·哈索;巴特·雅各布斯;米拉德·尼基

分形的余代数表示理论。 （英语） Zbl 1342.68215号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，351-368（2010）。
MSC公司：68问题65 18立方厘米 18 C50 28A80型 37B10号机组 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Hasuo}等人，《电子》。理论注释。计算。科学。265351-368（2010年；Zbl 1342.68215）
全文： 内政部
B.雅各布斯。（编辑）;M.尼基。（编辑）;J·拉特。（编辑）;A.席尔瓦。（编辑）

第十届计算机科学联合方法研讨会论文集（CMCS 2010）。 （英语） 兹比尔1246.68041

理论计算机科学电子笔记第264页，第2页。阿姆斯特丹：爱思唯尔。第197页。(2010).
MSC公司：68-06 18-06 68问题65 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛B.Jacobs｝（编辑）等人，《计算机科学中的代数方法第十次研讨会论文集》（CMCS 2010）。阿姆斯特丹：爱思唯尔（2010；Zbl 1246.68041）
全文： 链接
巴特·雅各布斯;安娜·索科洛娃

联合跟踪、执行和调度。 （英语） Zbl 1239.68052号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728206-220（2009）。
MSC公司：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}和\textit{A.Sokolova}，莱克特。注释计算。科学。5728206-220（2009年；Zbl 1239.68052）
全文： 内政部 链接
一郎·哈索;克里斯·希恩;巴特·雅各布斯;安娜·索科洛娃

多种微观结构中的煤系成分。 （英语） Zbl 1239.68044号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿572864-80（2009）。
MSC公司：68问题65 18立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Hasuo}等人，Lect。注释计算。科学。5728,64-80（2009年；Zbl 1239.68044）
全文： 内政部 链接
巴特·雅各布斯

组合可能性和概率系统的Coalgebraic跟踪语义。 （英语） Zbl 1279.68232号

Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，131-152（2008）。
MSC公司：68问题65 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，电子。理论注释。计算。科学。203，第5号，131--152（2008；Zbl 1279.68232）
全文： 内政部
一郎·哈索;巴特·雅各布斯;安娜·索科洛娃

余代数中的微观原理和并发性。 （英语） 兹比尔1139.68042

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962246-260（2008）。
MSC公司：68问题85 18B20型 18立方厘米 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Hasuo}等人，Lect。注释计算。科学。4962、246--260（2008年；Zbl 1139.68042）
全文： 内政部
巴特·雅各布斯

余代数的跟踪语义。 （英语） Zbl 1271.68150号

Adámek，J.（ed.）等人，第七届计算机科学联合算法研讨会论文集，西班牙巴塞罗那，2004年3月27日至29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记106，167-184（2004）。
MSC公司：68问题65 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，电子。理论注释。计算。科学。106167--184（2004年；Zbl 1271.68150）
全文： 链接
巴特·雅各布斯

叙述了递归方程共导解的两种方法。 （英语） Zbl 1271.03048号

Adámek，J.（ed.）等人，第七届计算机科学联合算法研讨会论文集，西班牙巴塞罗那，2004年3月27日至29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记106，145-166（2004）。
MSC公司：03B70号 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，电子。理论注释。计算。科学。106145-166（2004年；兹bl 1271.03048）
全文： 链接
巴特·雅各布斯;恩格尔伯特·哈伯斯;约瑟夫·基尼里;马尔蒂恩·奥斯蒂克

用正式方法计票。 （英语） 兹比尔1108.68390

Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学讲义3116，21-22（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛B.Jacobs｝等人，Lect。注释计算。科学。3116，21-22（2004；Zbl 1108.68390）
全文： 内政部
巴特·雅各布斯;克劳德·马奇;尼科尔·劳赫

使用多种工具对商业智能卡小程序进行正式验证。 （英语） Zbl 1108.68391号

Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学讲义3116，241-257（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}等人，Lect。注释计算。科学。3116、241--257（2004；Zbl 1108.68391）
全文： 内政部
巴特·雅各布斯;杰西·休斯

余代数中的模拟。 （英语） Zbl 1270.68191号

Gumm，H.Peter（编辑），CMCS’03：计算机科学中的协同代数方法。第六次研讨会会议记录（ETAPS 2003卫星活动），华沙，2003年4月5日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》82，第1期，128-149（2003）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}和textit{J.Hughes}，电子。理论注释。计算。科学。82，第1号，第128--149页（2003年；Zbl 1270.68191）
全文： 链接
巴特·雅各布斯

对余代数的理解。 （英语） 兹比尔1270.18015

Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记65，第1期，112-134（2002）。
MSC公司：18个C20 03G30型 18A30型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，电子。理论注释。计算。科学。65，No.1，112--134（2002；Zbl 1270.18015）
全文： 内政部
巴特·雅各布斯

第7章。联合技术规范中的练习。 （英语） Zbl 1065.68035号

Backhouse，Roland（ed.）等人，程序构造数学中的代数和余代数方法。2000年4月10日至14日，英国牛津国际暑期学校和讲习班。修订的讲座。柏林：施普林格出版社（ISBN 3-540-43613-8）。莱克特。注释计算。科学。2297, 237-280 (2002).
MSC公司：68号30 68问题65 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，莱克特。注释计算。科学。2297237--280（2002年；Zbl 1065.68035）
全文： 链接
巴特·雅各布斯

JavaCard程序验证。 （英语） Zbl 1005.68649号

Boulton，Richard J.（编辑）等人，《高阶逻辑中的定理证明》。第14届国际会议，2001年TPHOL，苏格兰爱丁堡，英国，2001年9月3日至6日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2152，1-3（2001）中描述。
MSC公司：68单位99 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，莱克特。注释计算。科学。2152，1--3（2001；Zbl 1005.68649）
全文： 链接
约阿希姆·范登伯格;巴特·雅各布斯

Java和JML的LOOP编译器。 （英语） Zbl 0978.68708号

Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2031, 299-312 (2001).
MSC公司：68单位99 68N20型 60年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{J.van den Berg}和\textit{B.Jacobs}，莱克特。注释计算。科学。2031，299--312（2001；Zbl 0978.68708）
全文： 链接
约阿希姆·范登伯格;玛丽克·赫斯曼;巴特·雅各布斯;波尔，埃里克

用于验证顺序Java程序的类型理论内存模型。 （英语） Zbl 0966.68554号

Bert，Didier（编辑）等人，代数发展技术的最新趋势。第14届国际研讨会，WADT’99，法国博纳城堡，1999年9月15日至18日。精选论文。柏林：施普林格。莱克特。注释计算。科学。1827, 1-21 (2000).
MSC公司：68单位99 68甲15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.van den Berg}等人，莱克特。注释计算。科学。1827年1月21日（2000年；Zbl 0966.68554）
巴特·雅各布斯

走向联合模态逻辑的对偶结果。 （英语） Zbl 0959.03503号

Reichel，Horst（编辑），CMCS 2000。计算机科学中的代数方法，德国柏林，2000年3月25日至26日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。33，36 p.，仅电子版（2000年）。
MSC公司：03B45 03G30型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，收录于：CMCS 2000。2000年3月25日至26日，德国柏林，计算机科学中的协同代数方法。阿姆斯特丹：爱思唯尔。36页（2000年；Zbl 0959.03503）
乌尔里希·亨塞尔;巴特·雅各布斯

使用迭代递归的数据类型的证明原则。 （英语） Zbl 0887.68069号

Moggi，Eugenio（编辑）等人，《范畴理论与计算机科学》。1997年9月4日至6日，第七届国际会议，CTCS’97，意大利圣玛格丽塔利古尔。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1290, 220-241 (1997).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{U.Hensel}和\textit{B.Jacobs}，莱克特。注释计算。科学。1290、220--241（1997；Zbl 0887.68069）
巴特·雅各布斯

Mongruence和无余余代数。 （英语） Zbl 1496.68110号

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。936, 245-260 (1995).
MSC公司：68号30 18立方厘米 18 C50 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，莱克特。注释计算。科学。936245-260（1995年；Zbl 1496.68110）
全文： 内政部
克劳迪奥·赫米达;巴特·雅各布斯

结构归纳法的代数观点。 （英语） Zbl 1044.68678号

Leszek（编辑）等，《计算机科学逻辑》。1994年9月25日至30日，波兰卡齐米尔兹CSL’94第八次研讨会。精选论文。柏林：Springer-Verlag（ISBN 3-540-60017-5）。莱克特。注释计算。科学。933, 412-426 (1995).
MSC公司：68问题65 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{C.Hermida}和\textit{B.Jacobs}，莱克特。注释计算。科学。933412--426（1995年；Zbl 1044.68678）
Bart P.F.雅各布斯。

从纤维的角度看亚型和有界定量。 （英语） Zbl 0910.68142号

Brookes，Steve（编辑）等人，《编程语义的数学基础》。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第1、17页（1995年）。
MSC公司：68问题65 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.P.F.Jacobs}，in：编程语义的数学基础。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔。17页（1995年；Zbl 0910.68142）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件