King's College London

Research portal

Research Outputs

  1. 2019
  2. A Formalisation of Nominal C-Matching through Unification with Protected Variables

    Ayala-Rincón, M., De Carvalho-Segundo, W., Fernández, M. & Nantes-Sobrinho, D., 1 Jan 2019, In : Electronic Notes in Theoretical Computer Science. 344, p. 47-65 19 p.

    Research output: Contribution to journalConference paper

  3. 2016
  4. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

    Copello, E., Tasistro, Á., Szasz, N., Bove, A. & Fernández, M., 14 Jul 2016, In : Electronic Notes in Theoretical Computer Science. 323, p. 109-124 16 p.

    Research output: Contribution to journalConference paper

  5. 2010
  6. Closed nominal rewriting and efficiently computable nominal algebra equality

    Fernandez, M., Murdoch, J. & Gabbay, D., 2010, In : Electronic Proceedings in Theoretical Computer Science. 34, p. 37 - 51 15 p.

    Research output: Contribution to journalConference paper

  7. Cluster Analysis and Decision Trees of MR Imaging in Patients Suffering Alzheimer’s

    Hamou, A., Bauer, M., Lewden, B., Simmons, A., Zhang, Y., Wahlund, L-O., Tunnard, C., Kloszewska, I., Mecocci, P., Soininen, H., Tsolaki, M., Vellas, B., Muehlboeck, S., Evans, A., Spenger, C., Lovestone, S. & Gwadry-Sridhar, F., 2010, In : Intelligent systems and soft computing. Prospects, tools and applications (Lecture Notes in Artificial Intelligence). 71, p. 477-484

    Research output: Contribution to journalConference paper

  8. Graph Creation, Visualisation and Transformation

    Fernandez, M. & Namet, O., 2010, In : Electronic Proceedings in Theoretical Computer Science. 21, p. 1 - 12 12 p.

    Research output: Contribution to journalConference paper

  9. Labelled Lambda-calculi with Explicit Copy and Erase

    Fernandez, M. & Siafakas, N., 2010, In : Electronic Proceedings in Theoretical Computer Science. 22, p. 49 - 64 16 p.

    Research output: Contribution to journalConference paper

  10. 2009
  11. Recursive Functions with Pattern Matching in Interaction Nets

    Fernandez, M., Mackie, I., Sato, S. & Walker, M., 6 Nov 2009, In : Electronic Notes in Theoretical Computer Science. 253, 4, p. 55 - 71 17 p., N/A.

    Research output: Contribution to journalConference paper

  12. A prospective study of pregnancy outcome and biomarkers of oxidative stress in nulliparous obese women

    Rajasingam, D., Seed, P. T., Briley, A. L., Shennan, A. H. & Poston, L., Apr 2009, In : American Journal of Obstetrics and Gynecology. 200, 4, p. 395.e1-395.e9 9 p.

    Research output: Contribution to journalConference paper

  13. New Developments in Abstract Machines

    Fernandez, M. & Siafakas, N., 2009, In : Electronic Notes in Theoretical Computer Science.

    Research output: Contribution to journalConference paper

  14. 2007
  15. From Functional Programs to Interaction Nets via the Rewriting Calculus

    Cirstea, H., Faure, G., Fernandez, M., Mackie, I. & Sinot, F-R., 2 Jul 2007, In : Electronic Notes in Theoretical Computer Science. 174, 10, p. 39 - 56 18 p.

    Research output: Contribution to journalConference paper

  16. The Power of Closed Reduction Strategies

    Alves, S., Fernandez, M., Florido, M. & Mackie, I., 2 Jul 2007, In : Electronic Notes in Theoretical Computer Science. 174, 10, p. 57 - 74 18 p.

    Research output: Contribution to journalConference paper

  17. Implementing Nominal Unification

    Calvès, C. & Fernandez, M., 28 May 2007, In : Electronic Notes in Theoretical Computer Science. 176, 1, p. 25 - 37 13 p.

    Research output: Contribution to journalConference paper

  18. 2000
  19. [F-18]fluorodeoxyglucose positron emission tomography and its prognostic value in lung cancer

    Dhital, K., Saunders, C. A. B., Seed, P. T., O'Doherty, M. J. & Dussek, J., 2000, In : European Journal of Cardio-Thoracic Surgery. 18, 4, p. 425 - 428 4 p.

    Research output: Contribution to journalConference paper

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454