Results 281 to 290 of about 44,120 (311)
Some of the next articles are maybe not open access.
Journal of Symbolic Logic, 1974
AbstractFor eachn> 0, two alternative axiomatizations of the theory of strings overnalphabetic characters are presented. One class of axiomatizations derives from Tarski's system of theWahrheitsbegriffand uses thencharacters and concatenation as primitives.
Corcoran, John +2 more
openaire +2 more sources
AbstractFor eachn> 0, two alternative axiomatizations of the theory of strings overnalphabetic characters are presented. One class of axiomatizations derives from Tarski's system of theWahrheitsbegriffand uses thencharacters and concatenation as primitives.
Corcoran, John +2 more
openaire +2 more sources
Poly(ADP-Ribose) polymerase (PARP) inhibitors: Exploiting a synthetic lethal strategy in the clinic
Ca-A Cancer Journal for Clinicians, 2011Timothy A Yap, Johann Sebastian de Bono
exaly
Computational predictions of energy materials using density functional theory
Nature Reviews Materials, 2016Anubhav Jain +2 more
exaly
Theory-guided design of catalytic materials using scaling relationships and reactivity descriptors
Nature Reviews Materials, 2019Zhi-Jian Zhao, Sihang Liu, Shenjun Zha
exaly
Social evolution theory for microorganisms
Nature Reviews Microbiology, 2006Stuart West +2 more
exaly
Rechargeable Alkali-Ion Battery Materials: Theory and Computation
Chemical Reviews, 2020Anton Van der Ven +2 more
exaly
Theory and Calculation of the Phosphorescence Phenomenon
Chemical Reviews, 2017Gleb Baryshnikov +2 more
exaly
Nuclear Quantum Effects in Water and Aqueous Systems: Experiment, Theory, and Current Challenges
Chemical Reviews, 2016Michele Ceriotti +2 more
exaly

