You are here: University » Research Portal » Research publications » Browse

Browse

41 - 50 out of 39349Page size: 10
  1. Forthcoming

    Some remarks on proof-theoretic semantics

    Dyckhoff, R. 2014 Proceedings of Second Tübingen Conference on Proof-Theoretic Semantics. Springer, 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Cut-elimination, substitution and normalisation

    Dyckhoff, R. 2015 Dag Prawitz on Proofs and Meaning. Wansing, H. (ed.). Springer, Vol. 7, p. 163-224 (Outstanding Contributions to Logic).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Forthcoming

    Intuitionistic decision procedures since Gentzen

    Dyckhoff, R. 2015 Advances in Proof Theory. Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Forthcoming

    Geometrisation of first-order logic

    Dyckhoff, R. 2015 In : Bulletin of Symbolic Logic.

    Research output: Contribution to journalArticle

  5. The double insult: explaining gender differences in the psychological consequences of war

    Kellezi, B. & Reicher, S. Nov 2014 In : Peace and Conflict: The Journal of Peace Psychology. 20, 4, p. 491-504 14 p.

    Research output: Contribution to journalArticle

  6. The effect of interleukin-1 receptor antagonist therapy on markers of inflammation in non-ST elevation acute coronary syndromes: the MRC-ILA Heart Study

    Morton, A. C., Rothman, A. M. K., Greenwood, J. P., Gunn, J., Chase, A., Clarke, B., Hall, A. S., Fox, K., Foley, C., Banya, W., Wang, D., Flather, M. D. & Crossman, D. C. 7 Feb 2015 In : European Heart Journal. 36, 6, p. 377-84 8 p.

    Research output: Contribution to journalArticle

  7. Methylation of ribosomal RNA by NSUN5 is a conserved mechanism modulating organismal lifespan

    Schosserer, M. , Minois, N. , Angerer, T. B. , Amring, M. , Dellago, H. , Harreither, E. , Calle-Perez, A. , Pircher, A. , Gerstl, M. P. , Pfeifenberger, S. , Brandl, C. , Sonntagbauer, M. , Kriegner, A. , Linder, A. , Weinhäusel, A. , Mohr, T. , Steiger, M. , Mattanovich, D. , Rinnerthaler, M. , Karl, T. & 9 others Sharma, S., Entian, K-D., Kos, M., Breitenbach, M., Wilson, I. B. H., Polacek, N., Grillari-Voglauer, R., Breitenbach-Koller, L. & Grillari, J. 2015 In : Nature Communications. 6, 6158

    Research output: Contribution to journalArticle

  8. Unraveling the specific regulation of the mdb central pathway for the anaerobic degradation of 3-methylbenzoate

    Juárez, J. F., Liu, H., Zamarro, M. T., McMahon, S., Liu, H., Naismith, J., Eberlein, C., Boll, M., Carmona, M. & Diaz, E. 2015 In : Journal of Biological Chemistry.

    Research output: Contribution to journalArticle

  9. The national Covenant and the Solemn League and Covenant

    Mason, R. A. 2001 The Oxford Companion to Scottish History. Lynch, M. (ed.). Oxford University Press, p. 436-7 2 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  10. Scottish Culture 1450-1650

    Mason, R. A. 2001 The Oxford Companion to Scottish History. Lynch, M. (ed.). Oxford University Press, p. 120-3 3 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary