Bibliothek

feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • SV40 transformation  (1)
  • formal mathematics  (1)
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Journal of automated reasoning 23 (1999), S. 373-409 
    ISSN: 1573-0670
    Schlagwort(e): formal mathematics ; lambda calculus ; Pure Type Systems ; type theory ; LEGO proof checker
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We survey a substantial body of knowledge about lambda calculus and Pure Type Systems, formally developed in a constructive type theory using the LEGO proof system. On lambda calculus, we work up to an abstract, simplified proof of standardization for beta reduction that does not mention redex positions or residuals. Then we outline the meta theory of Pure Type Systems, leading to the strengthening lemma. One novelty is our use of named variables for the formalization. Along the way we point out what we feel has been learned about general issues of formalizing mathematics, emphasizing the search for formal definitions that are convenient for formal proof and convincingly represent the intended informal concepts.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    New York, N.Y. : Wiley-Blackwell
    Journal of Supramolecular Structure 11 (1979), S. 539-546 
    ISSN: 0091-7419
    Schlagwort(e): SV40 transformation ; tumorigenicity ; anchorage independence ; Life Sciences ; Molecular Cell Biology
    Quelle: Wiley InterScience Backfile Collection 1832-2000
    Thema: Biologie , Chemie und Pharmazie , Medizin
    Notizen: A syndrome of in vitro properties correlates with the tumorigenicity of SV40-transformed rodent cells. These properties are plasminogen activator production, loss of large actin cables, and anchorage-independent growth. An established rat fibroblast line, its SV40 transformant, several T-antigen negative revertants, and a spontaneous retransformant isolated form one of the revertants were analyzed in vivo for their tumorigenicity and in vitro for the syndrome. The two transformed lines were highly tumorigenic, and had clearly abnormal in vitro properties. The parental rat line was weakly tumorigenic in nude mice and demonstrated a slightly transformed response in the in vitro assays. The revertants were completely nontumorigenic. Expression of the in vitro syndrome was not uniform for all revertants; however, most cell lines maintained the correlation of the syndrome and tumorigenicity.
    Zusätzliches Material: 1 Ill.
    Materialart: Digitale Medien
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...