King's College London

Research portal

Electronic Proceedings in Theoretical Computer Science, 2075-2180

Journal

  1. Attributed hierarchical port graphs and applications

    Ene, N. C., Fernández, M. & Pinaud, B., 16 Feb 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 265, p. 2-19 18 p.

    Research output: Contribution to journalConference article

  2. Preface

    Cervesato, I. & Fernández, M., 17 Jan 2017, In : Electronic Proceedings in Theoretical Computer Science. 238

    Research output: Contribution to journalEditorial

  3. Preface

    Benferhat, S., Chockler, H., Fabre, E., Fey, G., Gössler, G., Groce, A., Hallé, S., Halpern, J., Leue, S., Nickovic, D., Podgurski, A., Sokolsky, O., Stefani, J. B., Travé-Massuyès, L., Vennekens, J., Wang, C. & Weissenbacher, G., 26 Aug 2016, In : Electronic Proceedings in Theoretical Computer Science. 224

    Research output: Contribution to journalEditorial

  4. 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

  5. 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

  6. 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

View graph of relations

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