×
安德烈·普拉泽

混合系统的完全证明理论。 （英语） Zbl 1364.03045号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。541-550 (2012).

引用于19文件

MSC公司：

03B80号 逻辑的其他应用
03财年03 一般证明理论（包括证明理论语义）
34A38型 常微分方程的混合系统
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

证明理论;混合动力系统;微分动态逻辑;公理化;完整性
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。541-550（2012年；Zbl 1364.03045）
全文： 内政部