Search results

• Active

  Formal Verification of Practical Nominal Unification Algorithms

  Mansour, M. A. (Primary Investigator), Fernandez, M. (Co-Investigator) & Urban, C. (Co-Investigator)

  Royal Society

  31/03/2025 → 30/03/2027

  Project: Research