@InCollection{zbMATH06515526，作者=｛Platzer，Andr｛\'e｝｝，Title={微分动态逻辑的统一代换演算}，BookTitle={自动扣除--CADE-25。第25届自动扣减国际会议，德国柏林，2015年8月1-7日。诉讼}，国际标准图书编号={978-3-319-21400-9；978-3-3169-21401-6}，页码={467--481}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-21401-6_32}，关键词={03B35,03B70,34A38,68Q60}，URL={图共享.com/articles/journal_contribution/A_Uniform_Substitution_Calculus_for_Differential_Dynamic_Logic/6602837}，zbMATH={6515526}，Zbl={1465.03056}}