判定性相关硕士博士期刊学术论文 - 搜论网

判定性相关论文

时间敏感的下推系统

随着大规模复杂的实时嵌入式系统的广泛使用,程序运行的实时性要求受到了越来越多的关注。时间敏感的下推系统是一类上下文切换受......

学位

模型检测实时系统下推系统判定性可达性问题

带否定算子的兰贝克演算研究

本文研究否定算子的兰贝克演算，提出了兰贝克演算的极小否定扩张，刻画了兰贝克演算的极小否定扩张的代数模型，同时证明了兰贝克演算的......

期刊

兰贝克演算否定根岑系统判定性

看过本文同时还关注