Combining Wittig olefination with photo-assisted domino reaction to distinguish 5-formylcytosine from 5-formyluracil
- 期刊名称Analytical Chemistry
- 作者Zhou, Qian; Li, Kun; Li, Lingling; Yu, Kang-Kang; Zhang, Hong; Shi, Lei; Chen, Hao; Yu, Xiaoqi
- 印刷ISSN0003-2700
- 电子ISSN1520-6882
- 文件大小441.11KB
- 发表时间2019-07-19
- DOI10.1021/acs.analchem.9b02499
An Interpretation of Many-Valued LogicAlasdair Urquhart · 1973
Functional interpretations of feasibly constructive arithmeticStephen Cook; Alasdair Urquhart · 1993
Width versus size in resolution proofsAlasdair Urquhart · 2007
The symmetry rule in propositional logicAlasdair Urquhart · 1999
A semantical theory of analytic implicationAlasdair Urquhart · 1973
Decidability and the finite model propertyAlasdair Urquhart · 1981
Duality for algebras of relevant logicsAlasdair Urquhart · Studia Logica · 1996
Books receivedJanusz Czelakowski; Alasdair Urquhart; Ryszard Wójcicki; Jan Woleński; Andrzej Sendlewski; Marcin Mostowski · Studia Logica · 1990
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008