机译:通过互补性两亲配对策略进行的[4 + 3]环氧化物级联反应
机译:正式的[4 + 4]互补歧义配对反应:邻醌甲基化物的新环化途径
机译:用于合成吡啶的正式双分子[2 + 2 + 2]环加成策略:分子内丙氨酸烯烯烯烯烯反应/ AZA Diels-Alder反应级联
机译:通过离子/分子反应的“在飞行”气相衍生化:活性药物成分中快速分析环氧化物杂质的新策略
机译:结合补充形式验证策略以提高性能和准确性
机译:形式化4 + 4互补ambiphile配对(Cap)反应:一种新的环化途径为邻醌甲基化物
机译:基于分子内炔丙烯反应/ Diels-alder环加成级联的正式[2 + 2 + 2]环加成策略