×
加泰林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特

过渡系统中的相关路径：模态微积分的下降。 （英语） Zbl 1407.68287号

ACM事务处理。计算。日志。 第19条第3款第23条第33页（2018年）。

引用于1文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B15号机组 高阶逻辑；类型理论（MSC2010）
03B45号 模态逻辑（包括规范逻辑）
65年第68季度 形式语言和自动机

关键词：

表现力;不完全信息;一元二阶逻辑;微积分;过渡系统
PDF格式BibTeX公司 XML格式引用
\textit{C.Dima}等人，ACM Trans。计算。日志。19，第3号，第23条，33页（2018；Zbl 1407.68287）
全文： 内政部