机译:高阶有状态ADT的关系可实现性模型
IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark;
IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark;
IT University of Copenhagen, Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark;
abstract data types; logical relations; local state; parametricity;
机译:高阶有状态ADT的关系模态逻辑
机译:线性逻辑的关系语义与高阶模型检验
机译:线性逻辑的关系语义与高阶模型检验
机译:高阶有状态ADT的关系模态逻辑
机译:湍流的闭合模型和数值模拟:壁面粗糙度模型,可实现性和涡轮叶片传热。
机译:通过ADT诱导的免疫微环境改造前列腺癌驱动的免疫签名与复发存活和免疫浸润相关
机译:高阶有状态ADT的关系可实现性模型