Deriving efficient logic programs; Logic programming and computational mathematics; Combinatorics of lambda terms; Inferring simple types; Uniquely closable lambda term skeletons; Uniquely typable lambda term skeletons;
机译:具有平面四邻较重组14中心的18个价电子分子的新结构基序:π型骨架的独特稳定效应
机译:利用烯丙基Pauson-Khand型反应组装瓜纳卡斯蒂芬A碳骨架的独特策略
机译:三种密切相关的甲氧西林耐金黄色葡萄球菌克隆携带独特的CCRC阳性SCCMEC型III型和SPA T304和T690 SCCMEC型IV PVL(+)MRSA分离物的含量,MARAYSIA
机译:在Lambda术语的独特牢固且唯一可用的骷髅上
机译:在Choo-Siow匹配模型中,系统收益何时唯一地确定不同类型之间的婚姻数?满足独特平衡的充分条件。
机译:三叠纪胸骨骨骼和骨组织学有助于了解独特的身体计划
机译:关于Lambda术语的独特可闭合和独特可分类的骷髅