Consistent amalgamation for þ-forking
- 期刊名称Annals of Pure and Applied Logic
- 作者Ealy, Clifton; Onshuus, Alf
- 卷第165卷
- 期第2期
- 印刷ISSN0168-0072
- 文件大小733.88KB
- 发表时间2014-2
- DOI10.1016/j.apal.2013.06.021
- 页码503-519
Class 3.4–6 Hydrolases, Lyases, Isomerases, Ligases ||Schomburg, Dietmar; Schomburg, Ida · 2013
Class 2 Transferases ||Schomburg, Dietmar; Schomburg, Ida; Chang, Antje · 2009
Class 1 Oxidoreductases || || Front_matterSchomburg, Dietmar; Schomburg, Ida · 2013
Class 1 · Oxidoreductases || Serine 3-dehydrogenaseSchomburg, Dietmar; Schomburg, Ida; Chang, Antje · 2009
Class 1 · Oxidoreductases || Quinate/shikimate dehydrogenaseSchomburg, Dietmar; Schomburg, Ida; Chang, Antje · 2009
Class 1 · Oxidoreductases || Xanthoxin dehydrogenaseSchomburg, Dietmar; Schomburg, Ida; Chang, Antje · 2009
Class 1 · Oxidoreductases || Sorbose reductaseSchomburg, Dietmar; Schomburg, Ida; Chang, Antje · 2009
Class 1 · Oxidoreductases || 4-Phosphoerythronate dehydogenaseSchomburg, Dietmar; Schomburg, Ida; Chang, Antje · 2009