原名:A Relational Logic for Higher-Order Programs
作品简介:ALEJANDRO AGUIRRE，西班牙 IMDEA 软件研究所。 GILLES 我们提出了一种称为关系高阶逻辑 (RHOL) 的逻辑，用于证明理论计算机科学的关系属性 5, 3 (1977), 223 × 255。……
资源下载
VIP免费升级VIP
原名:A Relational Logic for Higher-Order Programs
作品简介:ALEJANDRO AGUIRRE，西班牙 IMDEA 软件研究所。 GILLES 我们提出了一种称为关系高阶逻辑 (RHOL) 的逻辑，用于证明理论计算机科学的关系属性 5, 3 (1977), 223 × 255。……
