机译:一个聚焦的线性逻辑框架及其在对象逻辑的核解中的应用
University of Ottawa Ottawa Canada;
LIPN CNRS UMR 7030 Universite Sorbonne Paris Nord Villetaneuse France and ECT Universidade Federal do Rio Grande do Norte Natal Brazil;
DIMAp Universidade Federal do Rio Grande do Norte Natal Brazil;
Linear logic; cut-elimination; focusing; Coq;
机译:线性逻辑新的视图作为逻辑框架
机译:时分局部微分方程(PDE)的通用框架:通用线性方法,面向对象的实现以及对流体问题的应用
机译:时分局部微分方程(PDE)的通用框架:通用线性方法,面向对象的实现以及对流体问题的应用
机译:基于线性逻辑和禁令逻辑的安全协议逻辑验证方法
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:关系发展系统元理论:一个理解和促进老年人参与体育运动的概念框架
机译:Web应用程序运行时验证的正式框架:ccope扩展的线性时态逻辑支持的方法
机译:并发逻辑框架II:示例和应用程序