King's College London

Research portal

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, ‎0960-1295

Journal

  1. Formalising nominal C-unification generalised with protected variables

    Ayala-Rincón, M., de Carvalho-Segundo, W., Fernandez, M., Silva, G. F. & Nantes-Sobrinho, D., 7 May 2021, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.

    Research output: Contribution to journalArticlepeer-review

  2. Strategic Port Graph Rewriting: An Interactive Modelling Framework

    Fernández, M., Kirchner, H. & Pinaud, B., May 2019, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 29, 5, p. 615-662

    Research output: Contribution to journalArticlepeer-review

  3. Fast circular dictionary-matching algorithm

    Athar, T., Barton, C., Bland, W., Gao, J., Iliopoulos, C. S., Liu, C. & Pissis, S. P., 2017, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 27, 2, p. 143-156 14 p.

    Research output: Contribution to journalArticlepeer-review

  4. The longest common substring problem

    Crochemore, M., Iliopoulos, C. S., Langiu, A. & Mignosi, F., 29 May 2015, (E-pub ahead of print) In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. p. 1-19 19 p.

    Research output: Contribution to journalArticlepeer-review

  5. Rewriting calculi, higher-order reductions and patterns: introduction

    Cirstea, H. & Fernandez, M., Jun 2008, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 18, 3, p. 427 - 429 3 p.

    Research output: Contribution to journalEditorialpeer-review

  6. More developments in computational models: introduction

    Fernandez, M. & Mackie, I., Aug 2007, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 17, 4, p. 585 - 586 2 p.

    Research output: Contribution to journalEditorialpeer-review

  7. Developments in computational models: introduction

    Fernandez, M. & Mackie, I., Aug 2006, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 16, 4, p. 553 - 555 3 p.

    Research output: Contribution to journalEditorialpeer-review

  8. Closed Reduction: explicit substitutions without alpha conversion

    Fernandez, M., Mackie, I. & Sinot, F-R., Apr 2005, In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 15, 2, p. 343 - 381 39 p.

    Research output: Contribution to journalArticlepeer-review

View graph of relations

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