×

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

最新的 引文 关联
托尔斯滕·维曼;乌尔里希多施;斯特凡·米利厄斯;卢茨·施罗德

高效且模块化的余代数划分细化。 （英语） 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 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 07649943号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第35条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛D.Hausmann｝和\textit｛L.Schröder｝，LIPIcs——莱布尼茨国际期刊。通知。140，第35条，第16页（2019年；Zbl 07649943）
全文： 内政部
乌尔里希多施;斯特凡·米利厄斯;卢茨·施罗德;托尔斯滕·维曼

余代数表达式语言中的谓词提升和函子表示。 （英语） 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 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公司
库普克，克莱门斯;德克·帕丁森;卢茨·施罗德

算术模态逻辑中的全局假设推理。 （英语） Zbl 1436.03136号

Kosowski，Adrian（编辑）等人，《计算理论基础》。2015年8月17日至19日，第20届国际研讨会，FCT 2015，波兰根斯克。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9210, 367-380 (2015).
MSC公司：03B45号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Kupke}等人，Lect。注释计算。科学。9210，367--380（2015；Zbl 1436.03136）
全文： 内政部 链接
亚历山大·库兹;斯特凡·米利厄斯;德克·帕丁森;卢茨·施罗德

简化的余代数迹等价。 （英语） 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公司
拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德

用于联合描述逻辑的全局缓存。 （英语） Zbl 1291.03017号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，46-60（2010）。
MSC公司：03B35型 03B45号 68吨15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}等人，Lect。注释计算。科学。6173，46-60（2010；Zbl 1291.03017）
全文： 内政部
罗伯·迈尔斯;德克·帕丁森;卢茨·施罗德

协代数混合逻辑。 （英语） Zbl 1234.03020号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。《计算机科学讲义》5504137-151（2009）。
MSC公司：03B70号 03B45号 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Myers}等人，Lect。注释计算。科学。5504137--151（2009年；Zbl 1234.03020）
全文： 内政部
德克·帕丁森;卢茨·施罗德

合并逻辑中切割的可接受性。 （英语） Zbl 1279.03087号

Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，221-241（2008）。
MSC公司：03G30型 03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{D.Pattinson}和\textit{L.Schröder}，电子。注释Theor。计算。科学。203，第5号，221--241（2008；Zbl 1279.03087）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件