King's College London

Research portal

A Certified Algorithm for AC-Unification

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Mauricio Ayala-Rincón, Maribel Fernandez, Daniele Nantes-Sobrinho, Gabriel Ferreira Silva

Original languageEnglish
Title of host publicationProceedings of FSCD 2022
EditorsAmy Felty
PublisherLIPIcs
Accepted/In press16 Apr 2022
Published3 Aug 2022

Documents

  • FSCD_2022

    FSCD_2022.pdf, 819 KB, application/pdf

    Uploaded date:30 May 2022

    Version:Final published version

King's Authors

Download statistics

No data available

View graph of relations

By the same authors

With some of the same researchers

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