沃尔克·哈尔斯列夫;拉尔夫·莫勒 描述逻辑实例检索的可扩展性。 (英语) Zbl 1185.68674号 J.汽车。推理 41,第2期,99-142(2008). 审核人:埃里克·马丁(悉尼) MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.Haarslev}和\textit{R.Möller},J.Autom。推理41,No.2,99--142(2008;Zbl 1185.68674) 全文: 内政部
安德烈·普拉泽 用于混合系统的差分动态逻辑。 (英语) Zbl 1181.03035号 J.汽车。推理 41,第2期,143-189(2008); 更正同上,第66号,第173(2022)。MSC公司:03B70号 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.奥托姆。推理41,No.2,143--189(2008;Zbl 1181.03035) 全文: 内政部