Generalised coinduction
- 期刊名称Mathematical Structures in Computer Science
- 作者BARTELS, FALK
- 卷第13卷
- 期第2期
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小690.58KB
- 发表时间2003-4
- DOI10.1017/s0960129502003900
- 页码321-348
Total Synthesis of (−)-TeucvidinLiu, Xiaozu; Lee, Chi-Sing · Organic Letters · 2012
An <i>in-</i> TriphenylaminophaneSathyamoorthi, Shyam; Mague, Joel T.; Pascal, Robert A. · Organic Letters · 2012
The Total Synthesis of (−)-Aurafuron AHartmann, Olaf; Kalesse, Markus · Organic Letters · 2012
Total Synthesis of Ripostatin ATang, Wufeng; Prusov, Evgeny V. · Organic Letters · 2012
Cross-Coupling ReactionsBolm, Carsten · Organic Letters · 2012
Total Synthesis of (+)-AureolKuan, Kevin K. W.; Pepper, Henry P.; Bloch, Witold M.; George, Jonathan H. · Organic Letters · 2012
Peptide ChemistryLubell, William D. · Organic Letters · 2012
A Formal Synthesis of SCH 351448Park, Heekwang; Kim, Hyoungsu; Hong, Jiyong · Organic Letters · 2011