机译:线性时间流的所有有限可公理化时态逻辑都是CoNP完全的
School of Information Science JAIST;
Department of Computer Science University of Liverpool;
NP-completeness; tense logic; temporal logic; computational complexity; frame incompleteness;
机译:时间流与ω〜2同构的命题线性时间逻辑
机译:通过基于逻辑的切换对一类不确定非线性系统进行自适应有限时间镇定
机译:不稳定动力系统中的吸引子局部维数,非线性能量传递和有限时间不稳定性及其在二维流体中的应用
机译:时间线性流逻辑的拓扑相关片段
机译:关于自动代数方程理论的有限公理化。
机译:基于连续一致有限时间精确干扰观测器的非线性系统的时滞稳定控制
机译:线性时间流的所有可有限公理化的时态逻辑都是coNP-complete
机译:非线性声学中的问题:脉冲有限幅度声束,分层介质中声音的非线性传播,聚焦声束的时域解,椭圆镜的声音聚焦以及有限幅度传播的建模