×

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

最新的 引文 关联
弗洛里安·弗兰克；斯特凡·米利厄斯；海宁·乌尔巴特

标称自动机的协同代数语义。 （英语） 兹伯利07628066

Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13225, 45-66 (2022).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{F.Frank}等人，Lect。注释计算。科学。13225，45-66（2022；Zbl 07628066）
全文： 内政部 arXiv公司
阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。

关于基础良好的递归余代数。 （英语） Zbl 1455.18001号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议，FOSSACS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 17-36 (2020).
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：第18页第15页 18 C50 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。12077，17-36（2020；Zbl 1455.18001）
全文： 内政部 arXiv公司
托尔斯滕·魏斯曼；乌尔里希多施；斯特凡·米利厄斯；卢茨·施罗德

高效且模块化的余代数划分细化。 （英语） Zbl 1442.68113号

日志。方法计算。科学。 16，第1号，第8号论文，63页（2020年）.
MSC公司：68问题65 60J22型 65年第68季度 68问题85 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Wißmann}等人，《日志》。方法计算。科学。16，第1号，第8号论文，63页（2020年；Zbl 1442.68113）
全文： arXiv公司
乌尔里希多施；斯特凡·米利厄斯；卢茨·施罗德；托尔斯滕·魏斯曼

余代数表达式语言中的谓词提升和函子表示。 （英语） Zbl 1519.68146号

科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP工作组1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11202, 56-77 (2018).
MSC公司：68问题65 03G30型 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{U.Dorsch}等人，Lect。注释计算。科学。11202，56-77（2018；Zbl 1519.68146）
全文： 内政部 arXiv公司
乌尔里希多施；斯特凡·米利厄斯；卢茨·施罗德；托尔斯滕·魏斯曼

有效的余代数划分精化。 （英语） Zbl 1442.68112号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第32条，第16页（2017年）。
MSC公司：68问题65 60J22型 65年第68季度 68问题85 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{U.Dorsch}等人，LIPIcs——莱布尼茨国际程序。通知。85，第32条，第16页（2017年；Zbl 1442.68112）
全文： 内政部 arXiv公司
斯特凡·米利厄斯；塔德乌什·利塔克

保护你的匕首和踪迹：关于保护（共）递归的等式性质。 （英语） Zbl 1462.68027号

Baelde，David（编辑）等人，《第九届计算机科学不动点研讨会论文集》，意大利都灵，2013年9月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）126、72-86（2013）。
MSC公司：68号30 18立方厘米 18日第15天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}和\textit{T.Litak}，电子。程序。西奥。计算。科学。（EPTCS）126、72--86（2013；Zbl 1462.68027）
全文： arXiv公司 链接
斯特凡·米利厄斯；马塞洛·M·邦桑格。；罗伯特·S·R·迈尔斯。；朱里安·罗特

合理的运营模式。 （英语） Zbl 1334.68137号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298257-282（2013）。
MSC公司：68问题65 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}等人，《电子》。注释Theor。计算。科学。298257-282（2013年；Zbl 1334.68137）
全文： 内政部
斯特凡·米利厄斯；劳伦斯·莫斯。；丹尼尔·施文克

抽象GSOS规则和递归定义的模块化处理。 （英语） Zbl 1307.68051号

日志。方法计算。科学。 9，第3号，第30号论文，52页，附录，14页（2013年）.
MSC公司：68问题65 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}等人，日志。方法计算。科学。9，第3号，第30号论文，52页，附录，14页（2013；Zbl 1307.68051）
全文： 内政部 arXiv公司
马塞洛·M·邦桑格。；斯特凡·米利厄斯；朱里安·罗特

关于系统理性行为的操作规范。 （英语） Zbl 1459.68124号

Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89，3-18（2012）。
MSC公司：68问题65 18B20型 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.M.Bonsangue}等人，《电子》。程序。西奥。计算。科学。（EPTCS）89，3--18（2012；Zbl 1459.68124）
全文： arXiv公司 链接
阿达梅克，吉安尼；斯特凡·米利厄斯；劳伦斯·莫斯。；卢尔德·索萨

井点余代数（扩展抽象）。 （英语） Zbl 1352.68168号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，89-103（2012）。
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。7213，89-103（2012；Zbl 1352.68168）
全文： 内政部
阿达梅克，吉安尼；菲利波·邦奇；马蒂亚斯·Hülsbusch；巴巴拉·科尼格；斯特凡·米利厄斯；亚历山德拉·席尔瓦

关于最小化和确定性的联合观点。 （英语） Zbl 1352.68171号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，58-73（2012）。
MSC公司：70年第68季度 18B20型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。7213，58-73（2012；Zbl 1352.68171）
全文： 内政部
阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔

递归程序方案和无上下文单体。 （英语） Zbl 1247.68049号

Jacobs，B.（ed.）等人，第十届计算机科学联合算法研讨会论文集（CMCS 2010）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》264，第2期，3-23页（2010年）。
MSC公司：68号30 18立方厘米 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，《电子》。注释Theor。计算。科学。264，第2、3--23号（2010；Zbl 1247.68049）
全文： 内政部
斯特凡·米利厄斯；劳伦斯·莫斯。；丹尼尔·施温克

CIA结构和递归语义。 （英语） Zbl 1284.68374号

Ong，Luke（编辑），《软件科学和计算结构基础》。2010年3月20日至28日，第13届国际会议FOSSACS 2010，作为欧洲软件理论与实践联合会议ETAPS 2010的一部分，在塞浦路斯帕福斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12031-2/pbk）。计算机科学课堂讲稿6014312-327（2010）。
MSC公司：68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}等人，Lect。注释计算。科学。6014312--327（2010年；Zbl 1284.68374）
全文： 内政部
阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔

高阶递归方案的语义。 （英语） Zbl 1239.68041号

Kurz，Alexander（编辑）等人，《计算机科学中的代数与代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿572849-63（2009）。
MSC公司：68问题55 03B40型 18层20 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。5728、49-63（2009年；Zbl 1239.68041）
全文： 内政部 arXiv公司
斯特凡·米利厄斯；托尔斯滕·帕尔姆；丹尼尔·施温克

具有效应的代数的完全迭代性。 （英语） 兹比尔1239.68046

Kurz，Alexander（编辑）等人，《计算机科学中的代数与代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿572834-48（2009）。
MSC公司：68问题65 18立方厘米 18个C20 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛S.Milius｝等人，Lect。注释计算。科学。5728、34-48（2009年；Zbl 1239.68046）
全文： 内政部
阿达梅克，吉安尼；多米尼克·吕克；斯特凡·米利厄斯

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

西奥。通知。申请。 41，第4期，447-462（2007）.
审核人：Dimitru Buşneag（克雷奥瓦）
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 1276.68108号

Neil Ghani（编辑）等人，第八届计算机科学联合代数方法研讨会论文集（CMCS 2006），奥地利维也纳，2006年3月25日至27日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》164，第1期，157-175（2006）。
MSC公司：68问题65 第18页第15页 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，《电子》。注释Theor。计算。科学。164，第1号，157--175（2006年；Zbl 1276.68108）
全文： 链接
阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔

基的迭代代数。 （英语） Zbl 1272.68281号

Birkedal，L.（编辑），计算机科学范畴理论第十届会议论文集（CTCS 2004），丹麦哥本哈根，2004年8月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记122，147-170（2005）。
MSC公司：68问题65 18立方厘米 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，《电子》。注释Theor。计算。科学。122、147--170（2005年；Zbl 1272.68281）
全文： 链接
斯特凡·米利厄斯；劳伦斯·莫斯。

递归程序方案的范畴理论解。 （英语） Zbl 1151.68376号

JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。2005年9月3日至6日，在英国斯旺西举行的首届国际会议，CALCO 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。计算机科学课堂讲稿3629293-312（2005）。
MSC公司：68号30 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}和\textit{L.S.Moss}，莱克特。注释计算。科学。3629、293--312（2005年；Zbl 1151.68376）
全文： 内政部 arXiv公司
阿达梅克，J。（编辑）；米利厄斯，S。（编辑）

2004年3月27日至29日，西班牙巴塞罗那，第七届计算机科学联合算法研讨会论文集。 （英语） Zbl 1271.68014号

理论计算机科学电子笔记106.阿姆斯特丹：爱思唯尔。第376页。，仅限电子版（2004年）。
MSC公司：68-06 03B45号 03B70号 68问题65 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}（ed.）和\textit{S.Milius}（edi.），计算机科学中的联合大脑方法（CMCS）第七次研讨会论文集，西班牙巴塞罗那，2004年3月27日至29日。阿姆斯特丹：Elsevier（2004；Zbl 1271.68014）
全文： 链接
阿达梅克，吉安尼；斯特凡·米利厄斯；吉·维勒比尔

最终余代数和任意内函子的解定理。 （英语） Zbl 1270.68183号

Moss，Lawrence S.（编辑），CMCS’2002：计算机科学中的协同代数方法。2002年4月6日至7日，法国格勒诺布尔，第五次研讨会会议记录（ETAPS 2002卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第1期，1-28页（2002年）。
MSC公司：68问题65 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，《电子》。注释Theor。计算。科学。65，第1号，1--28（2002；Zbl 1270.68183）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段