Results 231 to 240 of about 2,682,535 (254)

ESCRTs: the final cut for cells

Nature Reviews Molecular Cell Biology, 2019
Arnaud Echard
exaly  

Different Levels of the Homeodomain Protein Cut Regulate Distinct Dendrite Branching Patterns of Drosophila Multidendritic Neurons

Cell, 2003
Wesley B Grueber, Lily Y Jan, Yuh Nung Jan   +2 more
exaly  

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED

The Review of Symbolic Logic, 2012
R. Goré, Revantha Ramanayake
semanticscholar   +1 more source

Homothallic switching of yeast mating type cassettes is initiated by a double-stranded cut in the MAT locus

Cell, 1982
John M Ivy
exaly  

Cut Elimination and Realization for Epistemic Logics with Justification

Journal of Logic and Computation, 2012
Meghdad Ghari
semanticscholar   +1 more source

Intersection Types with Subtyping by Means of Cut Elimination

Fundamenta Informaticae, 2012
O. Laurent
semanticscholar   +1 more source

Cpf1 makes for a CRISPR cut

Nature Reviews Microbiology, 2015
Naomi Attar
exaly  

A cut-elimination theorem

1972
openaire   +1 more source

ANTI-SMOKING EFFORTS CUT LUNG CANCER DEATHS

Ca-A Cancer Journal for Clinicians, 2003
exaly  

Cut Elimination in Transfinite Type Theory

Mathematical Logic Quarterly, 1973
openaire   +2 more sources