塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马，伊德 （mu）-演算的完备性：一种联合算法。 （英语） Zbl 1443.03012号 Ann.纯粹应用。逻辑 170，第5号，578-641（2019）. 审核人：Ernst-Erich Doberkat（多特蒙德） MSC公司：03B45 03B70号 60年第68季度 91年43月 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人，Ann.Pure Appl。逻辑170，No.5，578--641（2019；Zbl 1443.03012） 全文： 内政部
比约恩·莱尔曼 命题模态逻辑中上下文受限的超序列规则。 （英语） Zbl 1402.03076号 西奥。计算。科学。 656，A部分，76-105（2016）.MSC公司：05年3月 03财年03 03B45 PDF格式BibTeX公司 XML格式引用 \文本{B.Lellmann}，Theor。计算。科学。656，A部分，76--105（2016；Zbl 1402.03076） 全文： 内政部
Helle Hvid Hansen先生;克莱门斯·库普克 余代数动态逻辑的弱完备性。 （英语） Zbl 1476.03036号 Matthes，Ralph（编辑）等人，第十届计算机科学固定点国际研讨会论文集，2015年国际计算机科学联合会，德国柏林，2015年9月11日至12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）191、90-104（2015）。MSC公司：03B70号 03G30型 18立方厘米 18个C20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}和\textit{C.Kupke}，电子。程序。西奥。计算。科学。（EPTCS）191、90--104（2015；Zbl 1476.03036） 全文： arXiv公司 链接
克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 算术模态逻辑中的全局假设推理。 （英语） Zbl 1436.03136号 Kosowski，Adrian（编辑）等人，《计算理论基础》。2015年8月17日至19日，第20届国际研讨会，FCT 2015，波兰格但斯克。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9210, 367-380 (2015).MSC公司：03B45 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{C.Kupke}等人，Lect。注释计算。科学。9210，367--380（2015；Zbl 1436.03136） 全文： 内政部 链接
克莱门斯·库普克;德克·帕丁森 模态逻辑的协同语义：综述。 （英语） Zbl 1360.03068号 西奥。计算。科学。 412，第38号，5070-5094（2011）.MSC公司：03B45 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}和\textit{D.Pattinson}，Theor。计算。科学。412，第38号，5070--5094（2011；Zbl 1360.03068） 全文： 内政部
贝尔科娃，玛尔塔;吉·维勒比尔;维尼马，伊德 关于单调形式和伴随。 （英语） Zbl 1234.03016号 数学。结构。计算。科学。 21，第2期，383-416（2011）.MSC公司：03B70号 03B45 03G30型 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}等人，《数学》。结构。计算。科学。21，第2号，383--416（2011；Zbl 1234.03016） 全文： 内政部
卢茨·施罗德;德克·帕丁森 基于多分类余代数的异构模态逻辑模块化算法。 （英语） Zbl 1260.03061号 数学。结构。计算。科学。 第235-266号第21页（2011年）.MSC公司：03B70号 03B45 03年2月25日 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}和\textit{D.Pattinson}，数学。结构。计算。科学。21，第2235-266号（2011年；兹bl 1260.03061） 全文： 内政部
罗伯特·S·R·迈尔斯。;德克·帕丁森 图泛化的差分形式混合逻辑。 （英语） Zbl 1215.03036号 J.应用。日志。 8，第4号，441-458（2010）.MSC公司：03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.S.R.Myers}和textit{D.Pattinson}，J.Appl。日志。第8号，第441至458号（2010年；兹bl 1215.03036） 全文： 内政部
德克·帕丁森;卢茨·施罗德 余代数逻辑中的截消。 （英语） 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，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（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） 全文： 内政部