Semantics; Standards; Cost accounting; Syntactics; Adaptation models; Safety; Model checking;
机译:逼近定点理论和高阶逻辑程序的可靠语义
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:结合导数和引用在双直觉逻辑中实现无割缺的完整性
机译:HOCHC:彻底完整和语义不变系统的高阶逻辑模数理论
机译:群集处理特征根,CTCR,一种独特的方法,可以针对时延不确定性对线性时不变多次时滞系统进行完整的鲁棒性分析。
机译:在NHS牙科实践中哪些因素影响合同的使用?对理论和逻辑模型的系统回顾
机译:利用可满足模数理论求解传感器攻击下线性动力系统的声音和完整状态估计