Search Constraints

Filtering by: Date 2000 Remove constraint Date: 2000 Collection Scholars Archive Remove constraint Collection: Scholars Archive Rights http://rightsstatements.org/vocab/InC/1.0/ Remove constraint Rights: http://rightsstatements.org/vocab/InC/1.0/
Number of results to display per page

Search Results

  1. Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)

    3f4625777?file=thumbnail
  2. Canonization for disjoint unions of theories

    4x51hj29h?file=thumbnail
  3. A recursive do for Haskell : Design and Implementation

    Nz805z98f?file=thumbnail
  4. DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (Technical Development)

    9g54xh96x?file=thumbnail
  5. Taking the hol out of HOL

    Ns064640z?file=thumbnail
  6. A recursive do for Haskell : design and implementation

    J96020870?file=thumbnail
  7. Recursive monadic bindings: technical development and details

    2n49t189s?file=thumbnail
  8. Bundles in captivity : an application of superimposed information

    2r36tx836?file=thumbnail
  9. A Generic approach for representing model-based superimposed information

    G732d929f?file=thumbnail
  10. The analysis of transgenic mice with mutations involving cartilage extracellular matrix proteins, collagen type II and cartilage oligomeric matrix protein

    3n203z30n?file=thumbnail
  11. The role of LIM homeodomain transcription factors in glycoprotein hormone α-subunit gene expression

    44558d47c?file=thumbnail
  12. Synthesis and biophysical characterization of collagen-like peptides : glycosylation-induced stabilization of the triple-helix

    Q237hs16c?file=thumbnail
  13. Behavioral assessment of common determinants of drug and ethanol-induced sensitization and the role of ethanol-induced sensitization in voluntary ethanol drinking and ethanol-induced conditioned taste aversion

    W9505065q?file=thumbnail
  14. Cloning and characterization of a novel family of inhibitory proteins of CaM-Kinase II

    Tt44pn209?file=thumbnail
  15. Calcium transient activity and neuronal differentiation of the neural crest

    2j62s503w?file=thumbnail
  16. Selective neural and cognitive alterations in the prefrontal cortex with healthy aging and Alzheimers disease

    Sq87bt78m?file=thumbnail
  17. Age and gender differences in stressors and coping strategies in schoolage children

    Kw52j821b?file=thumbnail
  18. Maternal-child interactions and the development of social competence

    K643b148x?file=thumbnail
  19. Stability of the fragile X CGG repeat in somatic cells

    H702q658j?file=thumbnail
  20. Genetic alterations in pediatric germ cell tumors

    Tt44pn19j?file=thumbnail