King's College London

Research portal

Formalising nominal C-unification generalised with protected variables

Research output: Contribution to journalArticlepeer-review

Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernandez, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho

Original languageEnglish
JournalMATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Early online date7 May 2021
E-pub ahead of print7 May 2021
Published7 May 2021

Documents

  • MSCS_2020

    MSCS_2020.pdf, 359 KB, application/pdf

    Uploaded date:08 May 2021

    Version:Accepted author manuscript

King's Authors

Download statistics

No data available

View graph of relations

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