威尔德，保罗;卢茨·施罗德 通过模糊lax扩展的行为半定量特征逻辑。 （英语） Zbl 07566075号 日志。方法计算。科学。 18，第2号，第19号文件，第35页（2022）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Wild}和\textit{L.Schröder}，Log。方法计算。科学。18，第2号，第19号论文，第35页（2022；Zbl 07566075） 全文： 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 1260.03061号 数学。结构。计算。科学。 21，第2期，235-266（2011）.MSC公司：03B70号 03B45号 03B25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛L.Schröder｝和\textit｛D.Pattinson｝，数学。结构。计算。科学。21，第2号，235--266（2011；Zbl 1260.03061） 全文： 内政部
德克·帕丁森;卢茨·施罗德 代数逻辑中的割消去。 （英语） Zbl 1255.03052号 Inf.计算。 208，第12期，1447-1468（2010）.MSC公司：05年3月 03G30型 03B45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pattinson}和\textit{L.Schröder}，Inf.Comput。208，第12号，1447--1468（2010；Zbl 1255.03052） 全文： 内政部 链接
拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 用于联合描述逻辑的全局缓存。 （英语） 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，该会议是欧洲软件理论与实践联合会议ETAPS 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） 全文： 内政部
卢茨·施罗德 联合模态逻辑的表达：极限与超越。 （英语） Zbl 1132.03008号 西奥。计算。科学。 390，编号2-3，230-247（2008）.MSC公司：03B45号 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{L.Schröder}，Theor。计算。科学。390，编号2--3，230-247（2008；Zbl 1132.03008） 全文： 内政部
卢茨·施罗德 余代数模态逻辑的有限模型构造。 （英语） Zbl 1127.03014号 J.日志。阿尔盖布。程序。 73，编号1-2，97-110（2007）. 审核人：斯特凡·沃尔夫（弗赖堡） MSC公司：03B45号 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}，J.Log。阿尔盖布。程序。73，编号1--2，97-110（2007；Zbl 1127.03014） 全文： 内政部
丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 环境演算语义的联合方法。 （英语） Zbl 1154.68088号 西奥。计算。科学。 366，编号1-2，121-143（2006）.MSC公司：68问题85 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛D.Hausmann｝等人，Theor。计算。科学。366，编号1--2，121-143（2006；Zbl 1154.68088） 全文： 内政部