格里高·罗什乌;多雷尔·卢卡努 行为重写系统和行为生产力。 （英语） Zbl 1407.68242号 Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 296-314 (2014).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}和\textit{D.Lucanu}，莱克特。注释计算。科学。8373、296--314（2014；Zbl 1407.68242） 全文： 内政部
卢茨·施罗德;德克·帕丁森 基于多分类余代数的异构模态逻辑模块化算法。 （英语） 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 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） 全文： 内政部
丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 环境演算语义的联合方法。 （英语） 兹比尔1154.68088 西奥。计算。科学。 366，编号1-2，121-143（2006）.MSC公司：68问题85 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}等人，Theor。计算。科学。366，编号1-2121-143（2006年；Zbl 1154.68088） 全文： 内政部