×

找到21个文档（结果1–21）

最新的 引文 关联
奥利弗·格利茨;丹尼尔·豪斯曼;悍马、梅林;德克·帕丁森;西蒙·普鲁克;卢茨·施罗德

COOL 2–模态定点逻辑的通用推理机（系统描述）。 （英语） Zbl 07838490号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 234-247 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit｛O.Görlitz｝等人，Lect。注释计算。科学。14132234--247（2023；Zbl 07838490）
全文： 内政部 arXiv公司
谢尔盖·冈查洛夫;德克·霍夫曼;佩德罗·诺拉;卢茨·施罗德;威尔德，保罗

行为距离的Kantorovich函子和特征逻辑。 （英语） Zbl 07770331号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 46-67 (2023).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Lect。注释计算。科学。13992、46-67（2023年；Zbl 07770331）
全文： 内政部 arXiv公司
OA许可证
威尔德，保罗;卢茨·施罗德

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

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 551-571 (2021).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Wild｝和\textit｛L.Schröder｝，Lect。注释计算。科学。12650、551--571（2021；Zbl 07410443）
全文： 内政部
OA许可证
丹尼尔·豪斯曼;卢茨·施罗德

单调演算中的NP推理。 （英语） Zbl 07614530号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 482-499 (2020).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}和\textit{L.Schröder}，莱克特。注释计算。科学。12166482--499（2020；Zbl 07614530）
全文： 内政部 arXiv公司
威尔德，保罗;卢茨·施罗德

通过模糊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 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 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 1342.68231号

Owe，Olaf（编辑）等人，《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22952-7/pbk）。计算机科学课堂讲稿6914，276-287（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}和\textit{L.Schröder}，Lect。注释计算。科学。6914276-287（2011年；Zbl 1342.68231）
全文： 内政部 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）
全文： 内政部
谢尔盖·冈查洛夫;卢茨·施罗德;蒂尔·莫萨科夫斯基

Kleene monads：在通用效果框架中处理迭代。 （英语） Zbl 1239.68024号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。《计算机科学讲义》5728，18-33（2009）。
MSC公司：68号30 18立方厘米 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Lect。注释计算。科学。5728、18-33（2009年；Zbl 1239.68024）
全文： 内政部
罗伯·迈尔斯;德克·帕丁森;卢茨·施罗德

协代数混合逻辑。 （英语） 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}，电子。理论注释。计算。科学。203，第5号，221--241（2008；Zbl 1279.03087）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件