Embedding-By-Normalisation software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS | ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION

Supporting Material for the paper "Embedding-By-Normalisation"
Share - Bookmark