完备性证明相关论文
本文主要研究了由布朗运动和与其相互独立的Teugels鞅共同驱动的倒向随机微分方程适应解的存在唯一性以及带power-jump资产的Levy......
为采用定理证明的方法对并发及交互式系统进行验证，研究了有穷论域下有穷时间一阶投影时序逻辑（projection temporal logic，简称PTL）的......
