科琳娜·科斯特 最大迹和基于路径的联合时序逻辑。 (英语) Zbl 1254.68147号 理论。计算。科学。 412,第38号,5025-5042(2011). 审核人:卢茨·施罗德(不来梅) MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{C.Cîrstea},Theor。计算。科学。412,第38号,5025--5042(2011;Zbl 1254.68147) 全文: 内政部
科琳娜·Cîrstea;克莱门斯·库普克;德克·帕丁森 用于余代数\(\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) 全文: 内政部 链接
科琳娜·科斯特;德克·帕丁森 完整组合逻辑的模块化结构。 (英语) Zbl 1126.03020号 理论。计算。科学。 388,编号1-3,83-108(2007).MSC公司:03B45号 03B70号 03G30型 PDF格式BibTeX公司 XML格式引用 \Theor,textit{C.Cêrstea}和\textit{D.Pattinson}。计算。科学。388,编号1--3,83-108(2007;Zbl 1126.03020) 全文: 内政部 链接