Skip to main content

and
  1. No Access

    Chapter

    ERNA at work

    Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis proposed around 1995 by Chuaqui, Suppes and Sommer. It has been shown to be consistent and, without st...

    C. Impens, S. Sanders in The Strength of Nonstandard Analysis (2007)

  2. No Access

    Chapter and Conference Paper

    Soluble and Membrane-Associated Factors Required for Protein Translocation into the Yeast Endoplasmic Reticulum

    A genetic approach aimed at defining molecules that participate in protein translocation across the membrane of the endoplasmic reticulum (ER) has led to the identification of three new genes. Mutant cells tha...

    R. J. Deshaies, A. Eun, B. D. Koch, J. A. Rothblatt in Dynamics and Biogenesis of Membranes (1990)