Skip to search formSkip to main contentSkip to account menu

TpTp

Known as: d(pTpT), thymidylyl-(3'-5')-3'-thymidylic acid 
National Institutes of Health

Related topics

Related topics

3 relations
SHH geneanalogs & derivatives

Broader (1)

Thymidine Monophosphate

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Interpreting Naproche - An algorithmic approach to the derivation-indicator view
In (1), Jody Azzouni proposes a derivation indicator view of mathematical practice and in particular of proofs. The Naproche… 
2009
2009
A Proposal for a Theory of Finite Sets, Lists, and Maps for the SMT-Lib Standard
Sets, lists, and maps are elementary data structures used in most programs. Program analysis tools therefore need to decide veri… 
2009
2009
E-commerce between a large firm and a SME supplier: a screening model
This paper derives a model of screening contracts in the presence of positive network effects when building an electronic… 
Review
2008
Review
2008
Synthesis, structural characterization and biological study of new organotin(IV), silver(I) and antimony(III) complexes with thioamides.
Highly Cited
2008
Highly Cited
2008
Low energy electron induced DNA damage: effects of terminal phosphate and base moieties on the distribution of damage.
Low energy electrons (LEE) induce DNA damage by dissociative electron attachment, which involves base release (N-glycosidic bond… 
2006
2006
Photoinduced electron transfer in ionic liquids: use of 2,4,6-triphenylthiapyrylium as a photosensitizer probe.
The photochemistry of 2,4,6-triphenylthiapyrylium, TPTP+, in an ionic liquid, bmim-PF6, and in zeolite Y has been investigated… 
2005
2005
Solution structure of the low‐molecular‐weight protein tyrosine phosphatase from Tritrichomonas foetus reveals a flexible phosphate binding loop
Eukaryotic low‐molecular‐weight protein tyrosine phosphatases (LMW PTPs) contain a conserved serine, a histidine with an elevated… 
Review
2002
Review
2002
Proof Development with Omega-MEGA: sqrt(2) Is Irrational
Freek Wiedijk proposed the well-known theorem about the irrationality of √2 as a case study and used this theorem for a… 
2001
2001
Progress in Automated Theorem Proving , 1997 – 2001
Despite some impressive individual achievements, the extreme difficulty of Automated Theorem Proving (ATP) means that progress in… 
Highly Cited
1998
Highly Cited
1998
On Generating Small Clause Normal Forms
In this paper we focus on two powerful techniques to obtain compact clause normal forms: Renaming of formulae and refined… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)