×

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

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

标称自动机的协同代数语义。 （英语） Zbl 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公司
罗伯特·S·R·迈尔斯。;斯特凡·米利厄斯;海宁·乌尔巴特

非确定性语法复杂性。 （英语） Zbl 07410438号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 448-468 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.S.R.Myers}等人，Lect。注释计算。科学。12650448--468（2021；Zbl 07410438）
全文： 内政部 arXiv公司
OA许可证
费比安·伯克曼;斯特凡·米利厄斯;海宁·乌尔巴特

关于没有布尔运算的语言变体。 （英语） Zbl 07405973号

Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 3-15 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Birkmann}等人，Lect。注释计算。科学。12638，3-15（2021；Zbl 07405973）
全文： 内政部 arXiv公司
托尔斯滕·维曼;汉斯·佩特·迪费尔;斯特凡·米利厄斯;卢茨·施罗德

从一般分区细化到加权树自动机最小化。 （英语） Zbl 1519.68126号

正式Asp。计算。 33，编号4-5，695-727（2021）。
MSC公司：65年第68季度 60J20型 68问题85 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{T.Wißmann}等人，《形式语法》。计算。33，编号4--5，695--727（2021；Zbl 1519.68126）
全文： 内政部 arXiv公司
OA许可证
阿达梅克，吉安尼;斯特凡·米利厄斯;劳伦斯·莫斯。

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

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 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公司
OA许可证
托尔斯滕·魏斯曼;乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德

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

日志。方法计算。科学。 16，第1号，第8号论文，63页（2020年）。
MSC公司：68问题65 60年22日 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 07817380号

ter Beek，Maurice H.（编辑）等人，《形式方法——未来30年》。第三届世界大会/第二十三届研讨会，2019年10月7日至11日，葡萄牙波尔图，FM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11800, 280-297 (2019).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.-P.Deifel}等人，Lect。注释计算。科学。11800，280-297（2019；Zbl 07817380）
全文： 内政部 arXiv公司
乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德

线性时间分支时间谱的分级单体和分级逻辑。 （英语） Zbl 07649944号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第36条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Dorsch}等人，LIPIcs——莱布尼茨国际程序。通知。140，第36条，第16页（2019；Zbl 07649944）
全文： 内政部 arXiv公司
斯特凡·米利厄斯

从具有结构的代数的方程规范到各种数据语言（特邀论文）。 （英语） Zbl 07649885号

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

各种数据语言。 （英语） Zbl 07561623号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第130条，第14页（2019年）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Urbat}和\textit{S.Milius}，LIPIcs——莱布尼茨国际程序。通知。132，第130条，第14页（2019年；Zbl 07561623）
全文： 内政部 arXiv公司
阿达梅克，吉安尼;斯特凡·米利厄斯;罗伯特·迈尔斯。;海宁·乌尔巴特

广义艾伦伯格定理。一个类别中的各种语言。 （英语） Zbl 1407.68315号

ACM事务处理。计算。日志。 20，第1号，第3条，47页（2019年）。
MSC公司：70年第68季度 18B20型 18日第10天 18日第15天 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，ACM Trans。计算。日志。20，第1号，第3条，47页（2019年；Zbl 1407.68315）
全文： 内政部
斯特凡·米利厄斯;阿达梅克，吉安尼;亨宁Urbat

关于具有有效迭代的代数。 （英语） Zbl 1520.18003号

科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP工作组1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11202144-166（2018）。
MSC公司：18个C20 第68季度55 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}等人，Lect。注释计算。科学。11202，144--166（2018；Zbl 1520.18003）
全文： 内政部 哈尔
乌尔里希·多尔希;斯特凡·米利厄斯;卢茨·施罗德;托尔斯滕·维曼

代数表达语言中的谓词提升和函子表示。 （英语） 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届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第32条，第16页（2017年）。
MSC公司：68问题65 60年22日 65年第68季度 68问题85 87年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit｛U.Dorsch｝等人，LIPIcs——莱布尼茨国际期刊。通知。85，第32条，第16页（2017年；Zbl 1442.68112）
全文： 内政部 arXiv公司
海宁·乌尔巴特;阿德梅克，吉里耶;陈良婷;斯特凡·米利厄斯

免费的艾伦伯格定理。 （英语） Zbl 1441.68139号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第43条，第15页（2017年）。
MSC公司：70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Urbat}等人，LIPIcs——莱布尼茨国际程序。通知。83，第43条，第15页（2017年；Zbl 1441.68139）
全文： 内政部 arXiv公司
卢茨·施罗德;德克斯特·科赞;斯特凡·米利厄斯;托尔斯滕·维曼

具有名称绑定的名义自动机。 （英语） Zbl 1486.68097号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 124-142 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Schröder}等人，Lect。注释计算。科学。10203、124--142（2017；Zbl 1486.68097）
全文： 内政部 arXiv公司
谢尔盖·冈查洛夫;斯特凡·米利厄斯;克里斯托夫·劳赫

完成Elgot monad和Colegebraic恢复。 （英语） Zbl 1395.18004号

Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325，147-168（2016）。
MSC公司：18立方厘米 18立方厘米20
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，《电子》。注释Theor。计算。科学。325147-168（2016年；Zbl 1395.18004）
全文： 内政部 arXiv公司
OA许可证
陈良婷;阿达梅克，吉安尼;斯特凡·米利厄斯;海宁·乌尔巴特

Profinite单子体、Profinite方程和Reiterman定理。 （英语） Zbl 1474.18010号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 531-547 (2016).
MSC公司：18立方厘米 70年第68季度 08B25号
PDF格式BibTeX公司 XML格式引用
\textit{L.-T.Chen}等人，Lect。注释计算。科学。9634，531--547（2016；Zbl 1474.18010）
全文： 内政部 arXiv公司
斯特凡·米利厄斯;德克·帕丁森;托尔斯滕·维曼

有限共渗的新基础。局部有限不动点及其性质。 （英语） Zbl 1475.68196号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 107-125 (2016).
MSC公司：70年第68季度 18B20型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Milius｝等人，Lect。注释计算。科学。9634，107-125（2016；Zbl 1475.68196）
全文： 内政部
亚历山大·库兹;斯特凡·米利厄斯;德克·帕丁森;卢茨·施罗德

简化的余代数迹等价。 （英语） Zbl 1453.68112号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 75-90 (2015).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Kurz}等人，Lect。注释计算。科学。8950，75-90（2015；Zbl 1453.68112）
全文： 内政部 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）
全文： 内政部
阿达梅克，吉安尼;斯特凡·米利厄斯;吉·维勒比尔

递归程序方案和无上下文单体。 （英语） 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）
全文： 内政部
阿达梅克，吉安尼;斯特凡·米利厄斯;吉·维勒比尔

Elgot理论：迭代理论的新视角（扩展抽象）。 （英语） Zbl 1338.18017号

Abramsky，Samson（编辑）等人，第25届编程语义数学基础会议论文集（MFPS 2009），英国牛津，2009年4月3日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记249407-427（2009）。
MSC公司：18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，《电子》。注释Theor。计算。科学。249407-427（2009年；Zbl 1338.18017）
全文： 内政部
阿达梅克，吉安尼;斯特凡·米利厄斯;吉里韦莱比尔

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

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，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公司
斯特凡·米利厄斯;托尔斯滕·帕尔姆;丹尼尔·施温克

具有效应的代数的完全迭代性。 （英语） Zbl 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）
全文： 内政部
阿达梅克，吉安尼;斯特凡·米利厄斯;吉·维勒比尔

单子的迭代反射描述（扩展抽象）。 （英语） 1234.18003兹比尔

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日，作为欧洲软件理论和实践联合会议的一部分，第12届国际会议，FOSSACS 2009，在英国约克举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504152-166（2009）。
MSC公司：18立方厘米 18立方厘米 18立方厘米50
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。5504152--166（2009年；Zbl 1234.18003）
全文： 内政部
阿达梅克，吉安尼;多米尼克·吕克;斯特凡·米利厄斯

有限函子的递归余代数。 （英语） 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 1270.18012号

Blute，Rick（编辑）等人，CTCS'02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69，287-304（2003）。
MSC公司：18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}，电子。注释Theor。计算。科学。69、287--304（2003；Zbl 1270.18012）
全文： 内政部
阿达梅克，吉安尼;斯特凡·米利厄斯;吉·维勒比尔

关于有理单子和自由迭代理论。 （英语） Zbl 1270.18010号

Blute，Rick（编辑）等人，CTCS'02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》69，23-46（2003）。
MSC公司：18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，《电子》。注释Theor。计算。科学。69、23-46（2003年；Zbl 1270.18010）
全文： 内政部
阿达梅克，吉安尼;斯特凡·米利厄斯;吉·维勒比尔

最终余代数和任意内函子的解定理。 （英语） 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名

主字段

全部的 前3名

软件