King's College London

• Formalising nominal C-unification generalised with protected variables

  Research output: Contribution to journal › Article › peer-review

• Strategic Port Graph Rewriting: An Interactive Modelling Framework

  Research output: Contribution to journal › Article › peer-review

• Fast circular dictionary-matching algorithm

  Research output: Contribution to journal › Article › peer-review

View all (7) »