×

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

最新的 引文 关联
H.Peter Gumm;莫娜·塔赫里

饱和Kripke构造为Vietoris煤层。 （英语） Zbl 07628068号

Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13225, 88-109 (2022).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{H.P.Gumm}和\textit{M.Taheri}，莱克特。注释计算。科学。13225，88-109（2022；Zbl 07628068）
全文： 内政部 arXiv公司
威尔德，保罗;卢茨·施罗德

一个量化的余代数范本特姆定理。 （英语） 兹伯利07410443

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 551-571 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Wild}和\textit{L.Schröder}，莱克特。票据计算。科学。12650、551--571（2021；Zbl 07410443）
全文： 内政部
OA许可证
巴兹尔·弗里尔;安德烈亚斯·洛赫比勒;Schneider，约书亚;德米特里·特拉泰尔

有界自然函子的商。 （英语） Zbl 07614662号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 58-78 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Fürer}等人，Lect。注释计算。科学。12167，58--78（2020；Zbl 07614662）
全文： 内政部
威尔德，保罗;卢茨·施罗德

通过模糊Lax扩展实现行为度量的特征逻辑。 （英语） Zbl 07559483号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第27条，第23页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Wild}和\textit{L.Schröder}，LIPIcs——莱布尼茨国际程序。通知。171，第27条，第23页（2020；Zbl 07559483）
全文： 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;乔治·摩萨

逻辑编程统一语义的联合方法。 （英语） Zbl 07817550号

Alvim，Mário S.（编辑）等人，《计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11760, 223-240 (2019).
MSC公司：68N17号 18 C50 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。11760、223--240（2019年；Zbl 07817550）
全文： 内政部 链接
杰里米·阿维加德;马里奥·卡内罗;西蒙·胡登

数据类型是多项式函子的商。 （英语） Zbl 07649955号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第6条，第19页（2019年）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Avigad}等人，LIPIcs——莱布尼茨国际程序。通知。141，第6条，第19页（2019年；Zbl 07649955）
全文： 内政部
阿达梅克，吉安尼

关于从初始代数导出的终端余代数。 （英语） 兹伯利07649895

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第12条，第21页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}，LIPIcs——莱布尼茨国际程序。通知。139，第12条，第21页（2019年；Zbl 07649895）
全文： 内政部
海宁·巴索尔德

流动中的共聚：腓骨的后期形态。 （英语） Zbl 07649891号

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第8条，第22页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Basold}，LIPIcs——莱布尼茨国际程序。通知。139，第8条，第22页（2019年；Zbl 07649891）
全文： 内政部
安东·塞泽尔

如何非正式地进行推理。 （英语） Zbl 1439.03071号

Kahle，Reinhard（编辑）等人，《证明理论的进展》。2013年12月13日至14日，瑞士伯尔尼，Gerhard Jäger诞辰60周年之际，研讨会记录。巴塞尔：Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 377-408 (2016).
MSC公司：03B70号 03B38型 18甲15 68问题65
PDF格式BibTeX公司 XML格式引用
\textit｛A.Setzer｝，程序。计算。科学。申请。日志。28377--408（2016；Zbl 1439.03071）
全文： 内政部 链接
迈赫迪·扎拉德;H.Peter Gumm

互模拟的及物性和双功能性。 （英语） Zbl 1475.18008号

Hasuo，Ichiro（编辑），计算机科学中的协代数方法。2016年4月2日至3日，第13届IFIP工作组1.3国际研讨会，CMCS 2016，与ETAPS 2016合办，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9608，33-52（2016）。
MSC公司：18个C99 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Zarrad}和\textit{H.P.Gumm}，莱克特。票据计算。科学。9608，33-52（2016；Zbl 1475.18008）
全文： 内政部 哈尔
普拉西特·巴塔查里亚

将\（p\）-adic整数作为最终的余代数。 （英语） Zbl 1465.11230号

Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9160, 189-199 (2015).
MSC公司：11S85型 18A22型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bhattacharya}，莱克特。票据计算。科学。9160189-199（2015；Zbl 1465.11230）
全文： 内政部 arXiv公司
Bhattacharya，普拉西特;劳伦斯·莫斯。;拉特纳亚克（Jayampathy Ratnayake）;罗伯特·罗斯

分形集是通过完成初始代数得到的最终余代数。 （英语） Zbl 1342.68214号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-319-06879-4/pbk）。计算机科学课堂讲稿8464，146-167（2014）。
MSC公司：68问题65 18立方厘米 28A80型 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bhattacharya}等人，Lect。注释计算。科学。8464、146--167（2014年；Zbl 1342.68214）
全文： 内政部
德克斯特·科赞

共导类型的实现。 （英语） Zbl 1342.68217号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276237-246（2011）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}，电子。注释Theor。计算。科学。276237--246（2011；Zbl 1342.68217）
全文： 内政部
彼得·帕达维茨

从文法和自动机到代数和余代数。 （英语） Zbl 1307.68043号

Winkler，Franz（编辑），代数信息学。2011年6月21日至24日，第四届国际会议，CAI 2011，奥地利林茨。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21492-9/pbk）。计算机科学课堂讲稿6742，21-43（2011）。
MSC公司：2012年第68季度 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Padawitz}，莱克特。注释计算。科学。6742，21-43（2011；Zbl 1307.68043）
全文： 内政部
阿德里亚娜·巴兰;亚历山大·库兹

关于代数上的余代数。 （英语） Zbl 1247.68171号

Jacobs，B.（ed.）等人，第十届计算机科学联合算法研讨会论文集（CMCS 2010）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》264，第2期，47-62（2010）。
MSC公司：68问题65 18立方厘米 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛A.Balan｝和\textit｛A.Kurz｝，电子。注释Theor。计算。科学。264，第2号，47--62（2010；Zbl 1247.68171）
全文： 内政部 arXiv公司
巴托克·克林

加权转换系统的结构操作语义。 （英语） Zbl 1253.68214号

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，121-139（2009）。
MSC公司：第68季度55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}，莱克特。注释计算。科学。5700、121--139（2009年；Zbl 1253.68214）
全文： 内政部
库普克，克莱门斯;简·拉特

观察联盟和整套合作。 （英语） Zbl 1279.68233号

Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，153-174（2008）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{C.Kupke}和\textit{J.Rutten}，电子。注释Theor。计算。科学。203，第5号，153--174（2008；Zbl 1279.68233）
全文： 内政部
巴托克·克林

超越集合的余代数模态逻辑。 （英语） Zbl 1316.03017号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173177-201（2007）。
MSC公司：03B70号 03B45号 03G30型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}，电子。注释Theor。计算。科学。173177--201（2007；Zbl 1316.03017）
全文： 内政部
阿达梅克，吉安尼;多米尼克·吕克;斯特凡·米利厄斯

有限函子的递归余代数。 （英语） Zbl 1147.18001号

西奥。通知。申请。 41，第4期，447-462（2007）.
审核人：迪米特鲁·布什内格（克雷奥瓦）
MSC公司：18A25型 08C05号机组 18个C20 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Theor。通知。申请。41，第4号，447--462（2007；Zbl 1147.18001）
全文： 内政部 Numdam编号 Numdam编号 欧洲DML
弗兰克·范·布鲁格尔;克劳迪奥·赫米达;迈克尔·麦凯;詹姆斯·沃雷尔

没有收缩的递归定义的度量空间。 （英语） Zbl 1118.68085号

西奥。计算。科学。 380，编号1-2，143-163（2007）; 增编同上，第492、117–122页（2013年）。
MSC公司：第68季度55 68问题85 54E35个
PDF格式BibTeX公司 XML格式引用
\textit{F.van Breugel}等人，Theor。计算。科学。380，编号1--2，143-163（2007；Zbl 1118.68085）
全文： 内政部
莫里斯·基安皮;塞莱斯汀·恩库伊米·朱尼亚

余代数的简化函子。 （英语） Zbl 1130.68056号

国际数学杂志。数学。科学。 2006年，第16号，文章ID 56786，第9页（2006年）.
MSC公司：2005年第68季度 第68季度55 68问题65 18A40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kianpi}和\textit{C.N.Jugnia}，国际数学杂志。数学。科学。2006年，第16号，文章ID 56786，第9页（2006年；Zbl 1130.68056）
全文： 内政部 欧洲DML
亚历山大·库兹;德克·帕丁森

有限余代数模态逻辑的可定义性、规范模型、紧性。 （英语） Zbl 1270.03143号

Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第1期，135-155（2002）。
MSC公司：03G30型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kurz}和\textit{D.Pattinson}，电子。注释Theor。计算。科学。65，第1号，135--155（2002；Zbl 1270.03143）
全文： 内政部
尼尔·加尼;克里斯托夫·吕斯;德马尔基，费德里科;权力，约翰

代数、余代数、单子和余代数。 （英语） Zbl 1260.68238号

Corradini，Andrea（编辑）等人，CMCS 2001。2001年4月6日至7日，意大利热那亚，计算机科学中的联合大脑方法第四次研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第1期，128-145（2001）。
MSC公司：68问题65 18立方厘米 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{N.Ghani}等人，《电子》。注释Theor。计算。科学。44，第1号，128--145（2001；Zbl 1260.68238）
全文： 内政部
阿达梅克，吉安尼;汉斯·鲍斯特。

从代数的变种到余代数的共价。 （英语） Zbl 1260.08004号

Corradini，Andrea（编辑）等人，CMCS 2001。2001年4月6日至7日，意大利热那亚，计算机科学中的联合大脑方法第四次研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第1期，27-46（2001）。
MSC公司：08C05号机组 08B99号 18个C20 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}和\textit{H.-E.Porst}，电子。注释Theor。计算。科学。44，编号1，27-46（2001；Zbl 1260.08004）
全文： 内政部
彼得·阿策尔;阿达梅克，吉安尼;吉·维勒比尔

无限树和迭代的联合视图。 （英语） Zbl 1260.68235号

Corradini，Andrea（编辑）等人，CMCS 2001。2001年4月6日至7日，意大利热那亚，第四届计算机科学中的代数方法研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第1期，1-26页（2001年）。
MSC公司：68问题65 18立方厘米 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{P.Aczel}等人，《电子》。注释Theor。计算。科学。44，第1号，1--26（2001；Zbl 1260.68235）
全文： 内政部
弗兰克·范·布鲁格尔;史蒂芬·沃森。

关于超空间和终端余代数的注记。 （英语） 兹比尔1127.54302

Jacobs，Bart（编辑）等人，CMCS’99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议（ETAPS'99）的卫星活动。荷兰阿姆斯特丹，1999年3月20日至21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》第19卷，电子论文第14期（1999年）。
MSC公司：54B20型 18B30型 18立方厘米 54B30型 54E35个
PDF格式BibTeX公司 XML格式引用
\textit{F.van Breugel}和\textit{S.W.Watson}，电子。注释Theor。计算。科学。19，电子文件第14号（1999；Zbl 1127.54302）
全文： 内政部
德文克，E.P。;J.J.M.M.鲁顿。

概率转移系统的互模拟：一种联合方法。 （英语） Zbl 1401.68236号

Degano，Pierpaolo（编辑）等人，自动机，语言和编程。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学讲义1256，460-470（1997）。
MSC公司：68问题85 18B20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.P.de Vink}和\textit{J.J.M.M.Rutten}，莱克特。注释计算。科学。1256460-470（1997年；Zbl 1401.68236）
全文： 内政部 链接
玛丽娜·莱妮莎

高阶并发语言的最终语义。 （英语） Zbl 1508.68211号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 102-118 (1996).
MSC公司：第68季度55 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Lenisa}，莱克特。注释计算。科学。1059、102--118（1996年；Zbl 1508.68211）
全文： 内政部
鲍尔森，劳伦斯C。

ZF集理论的一个具体的最终余代数定理。 （英语） Zbl 1530.03152号

Dybjer，Peter（编辑）等人，证明和程序的类型。1994年6月6日至10日，瑞典伯斯塔德，94型国际研讨会。精选论文。柏林：Springer-Verlag。莱克特。注释计算。科学。996, 120-139 (1995).
MSC公司：03E75型 03E30年 第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.C.Paulson}，莱克特。注释计算。科学。996、120-139（1995年；Zbl 1530.03152）
全文： 内政部 arXiv公司
巴甫洛维奇，杜什科

方便的过程和模拟类别。一： 模强相似性。 （英语） Zbl 1502.68194号

大卫·皮特（编辑）等人，《范畴理论与计算机科学》。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。953, 3-23 (1995).
MSC公司：68问题85 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Pavlović}，莱克特。票据计算。科学。953，3--23（1995年；Zbl 1502.68194）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件