Department of Computer Science and Information Systems Birkbeck University of London London UK;
Department of Software Science Radboud University Nijmegen Nijmegen The Netherlands;
机译:基于强可计算性的高阶重写系统静态依赖对方法
机译:证明高阶重写系统终止的静态依赖对方法
机译:优化类型作为高阶依赖对
机译:静态高阶依赖性对框架
机译:超流体理论:相变的涡旋理论,平衡的三维体中的压力依赖性以及淬火的二维膜中的涡旋对密度。
机译:多尺度水平可见性图表分析高阶矩阵估算统计依赖性
机译:基于强可计算性的高阶重写系统静态依赖关系方法