Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 ProceedingsPitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, DavidBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Category Theory and Computer SciencePitt P. T Johnstone; David H Pitt; David E RydeheardSpringer Berlin Heidelberg 1995Acesso online |
3 |
Material Type: Artigo
|
![]() |
Review: Andrew M. Pitts, David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith, Interpolation and Conceptual Completeness for Pretoposes via Category Theory; Andrew M. Pitts, Conceptual Completeness for First-order Intutionistic Logic: An Application of Categorical LogicZawadowski, MarekThe Journal of symbolic logic, 1995, Vol.60 (iss. 2), p.692-694 [Periódico revisado por pares]Association for Symbolic LogicTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Has Industrial Advertising Become Consumerized? A Longitudinal Perspective from the USALambert, David R. ; Morrisb, Michael H. ; Pitt, Leyland F.International journal of advertising, 1995-01, Vol.14 (4), p.349-364 [Periódico revisado por pares]Eastbourne, East Sussex, England: RoutledgeTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Physical activity and NIDDM in African-Americans: the Pitt County studyJames, S.A. (University of Michigan, Ann Arbor, MI.) ; Jamjoum, L ; Raghunathan, T.E ; Strogatz, D.S ; Furth, E.D ; Khazanie, P.GDiabetes care, 1998-04, Vol.21 (4), p.555-562 [Periódico revisado por pares]Alexandria, VA: American Diabetes AssociationTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Requirement of Stat3 but not Stat1 activation for epidermal growth factor receptor- mediated cell growth In vitroGrandis, J R ; Drenning, S D ; Chakraborty, A ; Zhou, M Y ; Zeng, Q ; Pitt, A S ; Tweardy, D JThe Journal of clinical investigation, 1998-10, Vol.102 (7), p.1385-1392 [Periódico revisado por pares]United StatesTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Vascular gene transfer of the human inducible nitric oxide synthase: characterization of activity and effects on myointimal hyperplasiaTzeng, E ; Shears, 2nd, L L ; Robbins, P D ; Pitt, B R ; Geller, D A ; Watkins, S C ; Simmons, R L ; Billiar, T RMolecular medicine (Cambridge, Mass.), 1996-03, Vol.2 (2), p.211-225 [Periódico revisado por pares]England: The Feinstein Institute for Medical ResearchTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Andrew M. Pitts. Interpolation and conceptual completeness for pretoposes via category theory. Mathematical logic and theoretical computer science, edited by Kueker David W., Lopez-Escobar Edgar G. K. and Smith Carl H., Lecture notes in pure and applied mathematics, vol. 106, Marcel Dekker, New York and Basel1987, pp. 301–327. - Andrew M. Pitts. Conceptual completeness for first-order intuitionistic logic: an application of categorical logic. Annals of pure and applied logic, vol. 41 (1989), pp.Zawadowski, MarekThe Journal of symbolic logic, 1995-06, Vol.60 (2), p.692-694 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Water-in-CO2 Microemulsions Studied by Small-Angle Neutron ScatteringEastoe, Julian ; Cazelles, Beatrice M. H ; Steytler, David C ; Holmes, Justin D ; Pitt, Alan R ; Wear, Trevor J ; Heenan, Richard KLangmuir, 1997-12, Vol.13 (26), p.6980-6984 [Periódico revisado por pares]Washington, DC: American Chemical SocietyTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Recombinant human superoxide dismutase (h-SOD) fails to improve recovery of ventricular function in patients undergoing coronary angioplasty for acute myocardial infarctionFLAHERTY, J. T ; PITT, B ; BRINKER, J. A ; BECKER, L. C ; MANCINI, J ; TOPOL, E ; WERNS, S. W ; GRUBER, J. W ; HEUSER, R. R ; ROTHBAUM, D. A ; BURWELL, L. R ; GEORGE, B. S ; KEREIAKES, D. J ; DEITCHMAN, D ; GUSTAFSON, NCirculation (New York, N.Y.), 1994-05, Vol.89 (5), p.1982-1991 [Periódico revisado por pares]Hagerstown, MD: Lippincott Williams & WilkinsTexto completo disponível |