克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 算术模态逻辑中具有全局假设的协同代数推理。 （英语） Zbl 1502.68285号 ACM事务处理。计算。日志。 23，第2条，第11条，第34页（2022年）.MSC公司：68T27型 03B45号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人，《美国医学杂志》。计算。日志。23，第2号，第11条，第34页（2022年；Zbl 1502.68285） 全文： 内政部 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） 全文： 内政部 链接
科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 代数演算的EXPTIME表格。 （英语） 兹伯利1237.03014 日志。方法计算。科学。 第7卷第3期，第3号论文，33页（2011年）.MSC公司：03B45号 03B35型 03B70号 03G30型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}等人，《日志》。方法计算。科学。7，第3期，第3号论文，33页（2011年；Zbl 1237.03014） 全文： 内政部 arXiv公司
克莱门斯·库普克;德克·帕丁森 模态逻辑的协同语义：综述。 （英语） 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 1254.03036号 Beklemishev，Lev（编辑）等人，《模态逻辑的进展》。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24日至27日。伦敦：学院出版物（ISBN 978-1-84890-013-4）。235-255 (2010).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}和\textit{D.Pattinson}，in：模态逻辑的进展。第8卷。第八届会议记录（AiML 2010），俄罗斯莫斯科，2010年8月24-27日。伦敦：学院出版物。235-255（2010年；Zbl 1254.03036）
拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德 用于联合盲文描述逻辑的全局缓存。 （英语） 兹比尔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 1284.03207号 Esparza，Javier（编辑）等人，《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿6015，114-128（2010）。MSC公司：03B70号 03B45号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Goré}等人，Lect。注释计算。科学。6015114-128（2010年；Zbl 1284.03207） 全文： 内政部
科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 用于余代数\（\mu\）-演算的EXPTIME表格。 （英语） Zbl 1257.03045号 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771179-193（2009）。MSC公司：03B45号 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}等人，Lect。注释计算。科学。5771、179--193（2009年；Zbl 1257.03045） 全文： 内政部 链接
库普克，C。;A.库尔兹。;帕丁森，D。 余代数的超滤扩展。 （英语） Zbl 1151.03357号 JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。第一届国际会议，2005年CALCO，2005年9月3日至6日，英国斯旺西。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。计算机科学课堂讲稿3629263-277（2005）。MSC公司：03G30型 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人，Lect。注释计算。科学。3629263--277（2005年；兹bl 1151.03357） 全文： 内政部
克莱门斯·库普克;亚历山大·库兹;德克·帕丁森 联合逻辑的代数语义。 （英语） Zbl 1271.03031号 Adámek，J.（ed.）等人，第七届计算机科学联合算法研讨会论文集，西班牙巴塞罗那，2004年3月27日至29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记106，219-241（2004）。MSC公司：03B45号 03G30型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人，《电子》。理论注释。计算。科学。106219-241（2004年；兹bl 1271.03031） 全文： 链接