Skip to search formSkip to main contentSkip to account menu

Virus TN1

National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1996
1996
Tea: a System for Proving Termination of a Non-strict Higher-order Functional Language
reduction: approximation: e; e! # e0 ej e0 C[e]; e nf-terminates C[e] j C[Te] context-skip: branching: f e1 : : : en; (f nf… 
1983
1983
Transposition of DNA fragments flanked by two inverted Tn1 sequences: translocation of the plasmid RP4::Tn1 region harboring the Tcr marker.
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)