尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 (英语) Zbl 1484.13058号 数学。计算。科学。 15,第3期,499-534(2021). 审核人:哈米德·拉科伊(萨尔布吕肯) MSC公司:13页第10页 68瓦30 34E15号机组 第37页第10页 第92页第45页 PDF格式BibTeX公司 XML格式引用 \textit{N.Kruff}等人,数学。计算。科学。15,编号3,499--534(2021;Zbl 1484.13058) 全文: 内政部 arXiv公司
叶夫根·克鲁格洛夫;克里斯托夫·韦登巴赫 叠加决定了基础理论上的一阶逻辑碎片。 (英语) Zbl 1262.68160号 数学。计算。科学。 6,第4期,427-456(2012).MSC公司:第68页第15页 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Kruglov}和\textit{C.Weidenbach},数学。计算。科学。6,第4号,427--456(2012;Zbl 1262.68160) 全文: 内政部
阿诺德·费茨克;克里斯托夫·韦登巴赫 叠加作为时间自动机的决策过程。 (英语) Zbl 1262.68159号 数学。计算。科学。 6,第4期,409-425(2012).MSC公司:第68页第15页 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fietzke}和\textit{C.Weidenbach},数学。计算。科学。6,第4号,409--425(2012;Zbl 1262.68159) 全文: 内政部